Parameterised Multiparty Session Types. / Yoshida, Nobuko; Denielou, Pierre-Malo; Bejleri, Andi; Hu, Raymond.

FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS. ed. / L Ong. BERLIN : SPRINGER-VERLAG BERLIN, 2010. p. 128-145.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published
Original languageEnglish
Title of host publicationFOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS
EditorsL Ong
Place of PublicationBERLIN
PublisherSPRINGER-VERLAG BERLIN
Pages128-145
Number of pages18
ISBN (Print)978-3-642-12031-2
DOIs
Publication statusPublished - 2010
Event13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software - Paphos
Duration: 20 Mar 201028 Mar 2010

Conference

Conference13th International Conference on Foundations of Software Science and Computational Structures/Joint European Conferences on Theory and Practice of Software
CityPaphos
Period20/03/1028/03/10
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7669892