Parameterised Multiparty Session Types

Nobuko Yoshida; Pierre-Malo Denielou; Andi Bejleri; Raymond Hu

doi:http://dx.doi.org/10.1007/978-3-642-12032-9_10

Parameterised Multiparty Session Types

Nobuko Yoshida, Pierre-Malo Denielou, Andi Bejleri, Raymond Hu

Department of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS
Editors	L Ong
Place of Publication	BERLIN
Publisher	SPRINGER-VERLAG BERLIN
Pages	128-145
Number of pages	18
ISBN (Print)	978-3-642-12031-2
DOIs	https://doi.org/10.1007/978-3-642-12032-9_10
Publication status	Published - 2010
Event	13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software - Paphos Duration: 20 Mar 2010 → 28 Mar 2010

Conference

Conference	13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software
City	Paphos
Period	20/03/10 → 28/03/10

Access to Document

http://dx.doi.org/10.1007/978-3-642-12032-9_10

Cite this

@inproceedings{b755040efb514998823a8dedfa932316,

title = "Parameterised Multiparty Session Types",

author = "Nobuko Yoshida and Pierre-Malo Denielou and Andi Bejleri and Raymond Hu",

year = "2010",

doi = "http://dx.doi.org/10.1007/978-3-642-12032-9_10",

language = "English",

isbn = "978-3-642-12031-2",

pages = "128--145",

editor = "L Ong",

booktitle = "FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS",

publisher = "SPRINGER-VERLAG BERLIN",

note = "13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software ; Conference date: 20-03-2010 Through 28-03-2010",

}

Yoshida, N, Denielou, P-M, Bejleri, A & Hu, R 2010, Parameterised Multiparty Session Types. in L Ong (ed.), FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS. SPRINGER-VERLAG BERLIN, BERLIN, pp. 128-145, 13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software, Paphos, 20/03/10. https://doi.org/10.1007/978-3-642-12032-9_10

TY - GEN

T1 - Parameterised Multiparty Session Types

AU - Yoshida, Nobuko

AU - Denielou, Pierre-Malo

AU - Bejleri, Andi

AU - Hu, Raymond

PY - 2010

Y1 - 2010

U2 - http://dx.doi.org/10.1007/978-3-642-12032-9_10

DO - http://dx.doi.org/10.1007/978-3-642-12032-9_10

M3 - Conference contribution

SN - 978-3-642-12031-2

SP - 128

EP - 145

BT - FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS

A2 - Ong, L

PB - SPRINGER-VERLAG BERLIN

CY - BERLIN

T2 - 13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software

Y2 - 20 March 2010 through 28 March 2010

ER -