Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types

Pierre-Malo Denielou, Nobuko Yoshida

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

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)
Country/TerritoryLatvia
CityRiga
Period8/07/1312/07/13

Cite this