Marco Carbone, Nobuko Yoshida & Kohei Honda (2009):
Asynchronous Session Types: Exceptions and Multiparty Interactions.
In: Marco Bernardo, Luca Padovani & Gianluigi Zavattaro: Formal Methods for Web Services,
LNCS 5569.
Springer,
pp. 187–212,
doi:10.1007/978-3-642-01918-0_5.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini & Luca Padovani (2012):
On Global Types and Multi-Party Sessions.
Logical Methods in Computer Science 8,
pp. 1–45,
doi:10.2168/LMCS-8(1:24)2012.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Paola Giannini (2019):
Reversible Sessions with Flexible Choices.
Acta Informatica 56(7),
pp. 553–583,
doi:10.1007/s00236-019-00332-y.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Paola Giannini (2021):
Global types and event structure semantics for asynchronous multiparty sessions.
CoRR abs/2102.00865,
doi:10.48550/arXiv.2102.00865.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini, Paola Giannini & Ross Horne (2020):
Global Types with Internal Delegation.
Theoretical Computer Science 807,
pp. 128–153,
doi:10.1016/j.tcs.2019.09.027.
Bruno Courcelle (1983):
Fundamental Properties of Infinite Trees.
Theoretical Computer Science 25,
pp. 95–169,
doi:10.1016/0304-3975(83)90059-2.
Francesco Dagnino, Paola Giannini & Mariangiola Dezani-Ciancaglini (2021):
Deconfined Global Types for Asynchronous Sessions.
CoRR abs/2111.11984,
doi:10.48550/arXiv.2111.11984.
Romain Demangeon & Kohei Honda (2012):
Nested Protocols in Session Types.
In: Maciej Koutny & Irek Ulidowski: CONCUR,
LNCS 7454.
Springer,
pp. 272–286,
doi:10.1007/978-3-642-32940-1_20.
Pierre-Malo Deniélou & Nobuko Yoshida (2012):
Multiparty Session Types Meet Communicating Automata.
In: Helmut Seidl: ESOP,
LNCS 7211.
Springer,
pp. 194–213,
doi:10.1007/978-3-642-28869-2_10.
Rob van Glabbeek, Peter Höfner & Ross Horne (2021):
Assuming Just Enough Fairness to make Session Types Complete for Lock-freedom.
In: Leonid Libkin: LICS.
ACM Press,
pp. 1–13,
doi:10.1109/LICS52264.2021.9470531.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: George C. Necula & Philip Wadler: POPL.
ACM Press,
pp. 273–284,
doi:10.1145/1328438.1328472.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2016):
Multiparty Asynchronous Session Types.
Journal of ACM 63(1),
pp. 9:1–9:67,
doi:10.1145/2827695.
Raymond Hu & Nobuko Yoshida (2017):
Explicit Connection Actions in Multiparty Session Types.
In: Marieke Huisman & Julia Rubin: FASE,
LNCS 10202.
Springer,
pp. 116–133,
doi:10.1007/978-3-662-54494-5_7.
Sung-Shik Jongmans & Nobuko Yoshida (2020):
Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types.
In: Peter Müller: ESOP,
LNCS 12075.
Springer,
pp. 251–279,
doi:10.1007/978-3-030-44914-8_10.
Wen Kokke, J. Garrett Morris & Philip Wadler (2020):
Towards Races in Linear Logic.
Logical Methods in Computer Science 16(4),
doi:10.23638/LMCS-16(4:15)2020.
Julien Lange, Emilio Tuosto & Nobuko Yoshida (2015):
From Communicating Machines to Graphical Choreographies.
In: Sriram K. Rajamani & David Walker: POPL.
ACM Press,
pp. 221–232,
doi:10.1145/2676726.2676964.
Rupak Majumdar, Madhavan Mukund, Felix Stutz & Damien Zufferey (2021):
Generalising Projection in Asynchronous Multiparty Session Types.
In: Serge Haddad & Daniele Varacca: CONCUR,
LIPIcs 203.
Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
pp. 35:1–35:24,
doi:10.4230/LIPIcs.CONCUR.2021.35.
Zesen Qian, G. A. Kavvos & Lars Birkedal (2021):
Client-server sessions in linear logic.
Proc. ACM Program. Lang. 5(ICFP),
pp. 1–31,
doi:10.1145/3473567.
eptcs@eptcs.org