Multiparty Session Types Meet Communicating Automata. / Deniélou, Pierre-Malo; Yoshida, Nobuko.

Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings. ed. / Helmut Seidl. Springer, 2012. p. 194-213 (Lecture Notes in Computer Science; Vol. 7211).

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

Published
Original languageEnglish
Title of host publicationProgramming Languages and Systems: 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012: Proceedings
EditorsHelmut Seidl
PublisherSpringer
Pages194-213
Number of pages20
ISBN (Electronic)978-3-642-28869-2
ISBN (Print)978-3-642-28868-5
DOIs
Publication statusPublished - 2012
Event21st European Symposium on Programming, ESOP 2012 - Tallinn, Estonia
Duration: 24 Mar 20121 Apr 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume7211
ISSN (Print)0302-9743

Conference

Conference21st European Symposium on Programming, ESOP 2012
CountryEstonia
CityTallinn
Period24/03/121/04/12
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 7670995