@article(DBLP:journals/tcs/AlurEY05,
 author       = {Rajeev Alur and Kousha Etessami and Mihalis Yannakakis},
 year         = {2005},
 title        = {Realizability and verification of {MSC} graphs},
 journal      = {Theor. Comput. Sci.},
 volume       = {331},
 number       = {1},
 pages        = {97--114},
 doi          = {10.1016/j.tcs.2004.09.034},
)
@inproceedings(DBLP:conf/popl/CarboneM13,
 author       = {Marco Carbone and Fabrizio Montesi},
 year         = {2013},
 title        = {Deadlock-freedom-by-design: multiparty asynchronous global programming},
 editor       = {Roberto Giacobazzi and Radhia Cousot},
 booktitle    = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25, 2013},
 publisher    = {{ACM}},
 pages        = {263--274},
 doi          = {10.1145/2429069.2429101},
)
@article(DBLP:journals/pacmpl/CastellanY19,
 author       = {Simon Castellan and Nobuko Yoshida},
 year         = {2019},
 title        = {Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side},
 journal      = {Proc. {ACM} Program. Lang.},
 volume       = {3},
 number       = {{POPL}},
 pages        = {27:1--27:29},
 doi          = {10.1145/3290340},
)
@inproceedings(DBLP:conf/birthday/CastellaniDG19,
 author       = {Ilaria Castellani and Dezani{-}Ciancaglini, Mariangiola and Paola Giannini},
 year         = {2019},
 title        = {Event Structure Semantics for Multiparty Sessions},
 editor       = {Michele Boreale and Flavio Corradini and Michele Loreti and Rosario Pugliese},
 booktitle    = {Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {11665},
 publisher    = {Springer},
 pages        = {340--363},
 doi          = {10.1007/978-3-030-21485-2\_19},
)
@inproceedings(DBLP:conf/ecoop/CledouEJP22,
 author       = {Guillermina Cledou and Luc Edixhoven and Sung{-}Shik Jongmans and Proen{\c{c}}a, Jos{\'{e}}},
 year         = {2022},
 title        = {{API} Generation for Multiparty Session Types, Revisited and Revised Using Scala 3},
 editor       = {Karim Ali and Jan Vitek},
 booktitle    = {36th European Conference on Object-Oriented Programming, {ECOOP} 2022, June 6-10, 2022, Berlin, Germany},
 series       = {LIPIcs},
 volume       = {222},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
 pages        = {27:1--27:28},
 doi          = {10.4230/LIPIcs.ECOOP.2022.27},
)
@article(DBLP:journals/tcs/Cruz-FilipeM20,
 author       = {Cruz{-}Filipe, Lu{\'{\i}}s and Fabrizio Montesi},
 year         = {2020},
 title        = {A core model for choreographic programming},
 journal      = {Theor. Comput. Sci.},
 volume       = {802},
 pages        = {38--66},
 doi          = {10.1016/j.tcs.2019.07.005},
)
@techreport(techreport,
 author       = {Luc Edixhoven and Sung-Shik Jongmans and Proen\c{c}a, Jos\'e and Guillermina Cledou},
 year         = {2022},
 title        = {Branching pomsets for choreographies (technical report)},
 type         = {Technical Report},
 number       = {OUNL-CS-2022-04},
 institution  = {Open University of the Netherlands},
)
@article(DBLP:journals/jlap/GuancialeT19,
 author       = {Roberto Guanciale and Emilio Tuosto},
 year         = {2019},
 title        = {Realisability of pomsets},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {108},
 pages        = {69--89},
 doi          = {10.1016/j.jlamp.2019.06.003},
)
@inproceedings(DBLP:conf/popl/HondaYC08,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2008},
 title        = {Multiparty asynchronous session types},
 editor       = {George C. Necula and Philip Wadler},
 booktitle    = {Proceedings of the 35th {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} 2008, San Francisco, California, USA, January 7-12, 2008},
 publisher    = {{ACM}},
 pages        = {273--284},
 doi          = {10.1145/1328438.1328472},
)
@article(DBLP:journals/jacm/HondaYC16,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {Multiparty Asynchronous Session Types},
 journal      = {J. {ACM}},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
)
@misc(ITU-T:MSC,
 author       = {ITU},
 year         = {2011},
 title        = {ITU-T recommendation Z.120. Message Sequence Chart (MSC)},
)
@inproceedings(DBLP:conf/fbt/KatoenL98,
 author       = {Joost{-}Pieter Katoen and Lennard Lambert},
 year         = {1998},
 title        = {Pomsets for {MSC}},
 editor       = {Hartmut K{\"{o}}nig and Peter Langend{\"{o}}rfer},
 booktitle    = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8. GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
 publisher    = {Verlag Shaker},
 pages        = {197--207},
)
@inproceedings(DBLP:conf/cc/NeykovaY17,
 author       = {Rumyana Neykova and Nobuko Yoshida},
 year         = {2017},
 title        = {Let it recover: multiparty protocol-induced recovery},
 editor       = {Peng Wu and Sebastian Hack},
 booktitle    = {Proceedings of the 26th International Conference on Compiler Construction, Austin, TX, USA, February 5-6, 2017},
 publisher    = {{ACM}},
 pages        = {98--108},
 doi          = {10.1145/3033019.3033031},
 url          = {http://dl.acm.org/citation.cfm?id=3033031},
)
@article(DBLP:journals/ijpp/Pratt86,
 author       = {Vaughan R. Pratt},
 year         = {1986},
 title        = {Modeling concurrency with partial orders},
 journal      = {Int. J. Parallel Program.},
 volume       = {15},
 number       = {1},
 pages        = {33--71},
 doi          = {10.1007/BF01379149},
)
@article(DBLP:journals/acta/RensinkW01,
 author       = {Arend Rensink and Heike Wehrheim},
 year         = {2001},
 title        = {Process algebra with action dependencies},
 journal      = {Acta Informatica},
 volume       = {38},
 number       = {3},
 pages        = {155--234},
 doi          = {10.1007/s002360100070},
)
@book(sangiorgi2011introduction,
 author       = {Davide Sangiorgi},
 year         = {2011},
 title        = {Introduction to bisimulation and coinduction},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/CBO9780511777110},
)
@article(DBLP:journals/jlp/TuostoG18,
 author       = {Emilio Tuosto and Roberto Guanciale},
 year         = {2018},
 title        = {Semantics of global view of choreographies},
 journal      = {J. Log. Algebraic Methods Program.},
 volume       = {95},
 pages        = {17--40},
 doi          = {10.1016/j.jlamp.2017.11.002},
)