Multiparty Session Types Within A Canonical Binary Theory, and Beyond

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

21 Citations (Scopus)
Original languageEnglish
Title of host publicationFormal Techniques for Distributed Objects, Components, and Systems
Subtitle of host publication6th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings
EditorsElvira Albert, Ivan Lanese
PublisherSpringer Verlag
Pages74–95
ISBN (Print) 978-3-319-39569-2
DOIs
Publication statusPublished - Jun-2016
Event36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016 - Heraklion, Greece
Duration: 1-Jun-2016 → …

Publication series

Name Lecture Notes in Computer Science
Volume9688

Conference

Conference36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORTE 2016
Country/TerritoryGreece
CityHeraklion
Period01/06/2016 → …

Cite this