Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types. / Denielou, Pierre-Malo; Yoshida, Nobuko.

Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II: ICALP (2). Vol. 7966 2013. ed. Springer, 2013. p. 174.

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

Published
Original languageEnglish
Title of host publicationAutomata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part II
Subtitle of host publicationICALP (2)
PublisherSpringer
Pages174
Number of pages186
Volume7966
Edition2013
ISBN (Print)978-3-642-39211-5
DOIs
Publication statusPublished - 2013
EventInternational Colloquium on Automata, Languages, and Programming (ICALP'13) - Riga, Latvia
Duration: 8 Jul 201312 Jul 2013

Conference

ConferenceInternational Colloquium on Automata, Languages, and Programming (ICALP'13)
CountryLatvia
CityRiga
Period8/07/1312/07/13
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 17557515