Multiparty Session Types Meet Communicating Automata

Pierre-Malo Deniélou, Nobuko Yoshida

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

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
Country/TerritoryEstonia
CityTallinn
Period24/03/121/04/12

Cite this