Franco Barbanera, Ugo de'Liguoro & Rolf Hennicker (2018):
Global Types for Open Systems.
In: ICE,
EPTCS 279.
Open Publishing Association,
pp. 4–20,
doi:10.4204/EPTCS.279.4.
Mario Bravetti, Marco Carbone & Gianluigi Zavattaro (2017):
Undecidability of Asynchronous Session Subtyping.
Information and Computation 256,
pp. 300–320,
doi:10.1016/j.ic.2017.07.010.
Luís Caires & Jorge A. Pérez (2016):
Multiparty Session Types Within a Canonical Binary Theory, and Beyond.
In: FORTE,
LNCS 9688.
Springer,
pp. 74–95,
doi:10.1007/978-3-319-39570-8_6.
Marco Carbone, Sam Lindley, Fabrizio Montesi, Carsten Schürmann & Philip Wadler (2016):
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types.
In: CONCUR,
LIPIcs 59.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 33:1–33:15,
doi:10.4230/LIPIcs.CONCUR.2016.33.
Felice Cardone & Mario Coppo (2013):
Recursive Types.
In: Henk Barendregt, Wil Dekkers & Richard Statman: Lambda Calculus with Types,
Perspectives in Logic.
Cambridge University Press,
pp. 377–576,
doi:10.1017/CBO9781139032636.011.
Giuseppe Castagna, Nils Gesbert & Luca Padovani (2009):
A Theory of Contracts for Web Services.
ACM Transactions on Programming Languages and Systems 31(5),
pp. 19:1–19:61,
doi:10.1145/1538917.1538920.
Ilaria Castellani, Mariangiola Dezani-Ciancaglini & Paola Giannini (2019):
Reversible Sessions with Flexible Choices.
Acta Informatica,
doi:10.1007/s00236-019-00332-y.
To appear.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2015):
A Gentle Introduction to Multiparty Asynchronous Session Types.
In: Formal Methods for Multicore Programming,
LNCS.
Springer,
pp. 146–178,
doi:10.1007/978-3-319-18941-3_4.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida & Luca Padovani (2016):
Global Progress for Dynamically Interleaved Multiparty Sessions.
Mathematical Structures in Computer Science 26(2),
pp. 238–302,
doi:10.1017/S0960129514000188.
Bruno Courcelle (1983):
Fundamental Properties of Infinite Trees.
Theoretical Computer Science 25,
pp. 95–169,
doi:10.1016/0304-3975(83)90059-2.
Romain Demangeon & Kohei Honda (2011):
Full Abstraction in a Subtyped Pi-Calculus with Linear Types.
In: CONCUR,
LNCS 6901.
Springer,
pp. 280–296,
doi:10.1007/978-3-642-23217-6_19.
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic & Nobuko Yoshida (2015):
Precise Subtyping for Synchronous Multiparty Sessions.
In: PLACES,
EPTCS 203.
Open Publishing Association,
pp. 29–43,
doi:10.4204/EPTCS.203.3.
Simon Gay (2016):
Subtyping Supports Safe Session Substitution.
In: A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday,
LNCS 9600.
Springer,
pp. 95–108,
doi:10.1007/978-3-319-30936-1_5.
Simon Gay & Malcolm Hole (2005):
Subtyping for Session Types in the Pi Calculus.
Acta Informatica 42(2/3),
pp. 191–225,
doi:10.1007/s00236-005-0177-z.
Silvia Ghilezan, Svetlana Jaksic, Jovanka Pantovic, Alceste Scalas & Nobuko Yoshida (2019):
Precise Subtyping for Synchronous Multiparty Sessions.
Journal of Logic and Algebraic Methods in Programming 104,
pp. 127–173,
doi:10.1016/j.jlamp.2018.12.002.
Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty Asynchronous Session Types.
In: POPL.
ACM Press,
pp. 273–284,
doi:10.1145/1328438.1328472.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2016):
Multiparty Asynchronous Session Types.
Journal of the ACM 63(1),
pp. 9,
doi:10.1145/2827695.
Raymond Hu & Nobuko Yoshida (2017):
Explicit Connection Actions in Multiparty Session Types.
In: FASE,
LNCS 10202.
Springer,
pp. 116–133,
doi:10.1007/978-3-662-54494-5_7.
Naoki Kobayashi (2002):
A Type System for Lock-Free Processes.
Information and Computation 177(2),
pp. 122–159,
doi:10.1006/inco.2002.3171.
Dexter Kozen & Alexandra Silva (2017):
Practical Coinduction.
Mathematical Structures in Computer Science 27(7),
pp. 1132–1152,
doi:10.1017/S0960129515000493.
Ivan Lanese & Emilio Tuosto:
Personal Communication.
Julien Lange & Emilio Tuosto (2012):
Synthesising Choreographies from Local Session Types.
In: CONCUR,
LNCS 7454.
Springer,
pp. 225–239,
doi:10.1007/978-3-642-32940-1_17.
Julien Lange & Nobuko Yoshida (2017):
On the Undecidability of Asynchronous Session Subtyping.
In: FOSSACS,
LNCS 10203.
Springer,
pp. 441–457,
doi:10.1007/978-3-662-54458-7_26.
Dimitris Mostrous, Nobuko Yoshida & Kohei Honda (2009):
Global Principal Typing in Partially Commutative Asynchronous Sessions.
In: ESOP,
LNCS 5502.
Springer,
pp. 316–332,
doi:10.1007/978-3-642-00590-9_23.
Benjamin C. Pierce (2002):
Types and Programming Languages.
MIT Press.
Paula Severi & Mariangiola Dezani-Ciancaglini (2019):
Observational Equivalence for Multiparty Sessions.
Fundamenta Informaticae 167.
To appear.