학술논문
Multiparty compatibility in communicating automata: Characterisation and synthesis of global session types
Document Type
Conference Paper
Author
Source
In: Automata, Languages, and Programming - 40th International Colloquium, ICALP 2013, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2013, 7966 LNCS(PART 2):174-186)
Subject
Language
English
ISSN
03029743
16113349
16113349