Franco Barbanera & Ugo de'Liguoro (2010):
Two notions of sub-behaviour for session-based client/server systems.
In: Proceedings of PPDP'10.
ACM,
pp. 155–164,
doi:10.1145/1836089.1836109.
Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008):
Global Progress in Dynamically Interleaved Multiparty Sessions.
In: Proceedings of CONCUR'08,
LNCS 5201,
pp. 418–433,
doi:10.1007/978-3-540-85361-9_33.
Viviana Bono & Luca Padovani (2012):
Typing Copyless Message Passing.
Logical Methods in Computer Science 8,
pp. 1–50,
doi:10.2168/LMCS-8(1:17)2012.
Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: Proceedings of CONCUR'10,
LNCS 6269,
pp. 222–236,
doi:10.1007/978-3-642-15375-4_16.
Marco Carbone & Fabrizio Montesi (2013):
Deadlock-freedom-by-design: multiparty asynchronous global programming.
In: Proceedings of POPL'13.
ACM,
pp. 263–274,
doi:10.1145/2429069.2429101.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009):
Foundations of Session Types.
In: Proceedings of PPDP'09.
ACM,
pp. 219–230,
doi:10.1145/1599410.1599437.
Mario Coppo, Mariangiola Dezani-Ciancaglini, Luca Padovani & Nobuko Yoshida (2013):
Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions.
In: Proceedings COORDINATION'13 LNCS 7890.
Springer,
pp. 45–59,
doi:10.1007/978-3-642-38493-6_4.
Ornela Dardha, Elena Giachino & Davide Sangiorgi (2012):
Session types revisited.
In: Proceedings of PPDP'12.
ACM,
pp. 139–150,
doi:10.1145/2370776.2370794.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro & Nobuko Yoshida (2008):
On Progress for Structured Communications.
In: Proceedings of TGC'07,
LNCS 4912,
pp. 257–275,
doi:10.1007/978-3-540-78663-4_18.
Simon Gay & Malcolm Hole (2005):
Subtyping for session types in the π-calculus.
Acta Informatica 42(2-3),
pp. 191–225,
doi:10.1007/s00236-005-0177-z.
Naoki Kobayashi (2002):
A Type System for Lock-Free Processes.
Information and Computation 177(2),
pp. 122–159,
doi:10.1006/inco.2002.3171.
Luca Padovani (2011):
Session Types = Intersection Types + Union Types.
In: Proceedings of ITRS'10 EPTCS 45,
pp. 71–89,
doi:10.4204/EPTCS.45.6.
Luca Padovani (2012):
On Projecting Processes into Session Types.
Mathematical Structures in Computer Science 22,
pp. 237–289,
doi:10.1017/S0960129511000405.
Hugo Torres Vieira & Vasco Thudichum Vasconcelos (2013):
Typing Progress in Communication-Centred Systems.
In: Proceedings of COORDINATION'13,
LNCS 7890.
Springer,
pp. 236–250,
doi:10.1007/978-3-642-38493-6_17.
Philip Wadler (2012):
Propositions as sessions.
In: Proceedings of ICFP'12.
ACM,
pp. 273–286,
doi:10.1145/2364527.2364568.
eptcs@eptcs.org