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