Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: Proc. of CONCUR 2010,
LNCS 6269.
Springer,
pp. 222–236,
doi:10.1007/978-3-642-15375-4_16.
Luís Caires, Frank Pfenning & Bernardo Toninho (2014):
Linear Logic Propositions as Session Types.
MSCS,
doi:10.1017/S0960129514000218.
Marco Carbone, Ornela Dardha & Fabrizio Montesi (2014):
Progress as Compositional Lock-Freedom.
In: COORDINATION,
LNCS 8459.
Springer,
pp. 49–64,
doi:10.1007/978-3-662-43376-8_4.
Marco Carbone & Søren Debois (2010):
A Graphical Approach to Progress for Structured Communication in Web Services.
In: Proc. of ICE 2010, Amsterdam, The Netherlands, 10th of June 2010.,
EPTCS 38,
pp. 13–27,
doi:10.4204/EPTCS.38.4.
Gerardo Costa & Colin Stirling (1987):
Weak and Strong Fairness in CCS.
Inf. Comput. 73(3),
pp. 207–244,
doi:10.1016/0890-5401(87)90013-7.
Ornela Dardha (2014):
Recursive Session Types Revisited.
In: Proceedings Third Workshop on Behavioural Types, BEAT 2014, Rome, Italy, 1st September 2014.,
EPTCS 162,
pp. 27–34,
doi:10.4204/EPTCS.162.4.
Ornela Dardha, Elena Giachino & Davide Sangiorgi (2012):
Session types revisited.
In: Proc. of PPDP'12.
ACM,
pp. 139–150,
doi:10.1145/2370776.2370794.
Ornela Dardha & Jorge A. Pérez (2015):
Full version of this paper.
Technical Report.
Available at http://www.jorgeaperez.net.
Mariangiola Dezani-Ciancaglini, Ugo de'Liguoro & Nobuko Yoshida (2008):
On Progress for Structured Communications.
In: Trustworthy Global Computing,
LNCS 4912.
Springer,
pp. 257–275,
doi:10.1007/978-3-540-78663-4_18.
Daniele Gorla (2010):
Towards a unified approach to encodability and separation results for process calculi.
Inf. Comput. 208(9),
pp. 1031–1053,
doi:10.1016/j.ic.2010.05.002.
Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: Proc. of ESOP'98,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
Naoki Kobayashi (2002):
A Type System for Lock-Free Processes.
Inf. Comput. 177(2),
pp. 122–159,
doi:10.1006/inco.2002.3171.
Naoki Kobayashi (2003):
Type Systems for Concurrent Programs.
In: Formal Methods at the Crossroads,
LNCS 2757.
Springer,
pp. 439–453,
doi:10.1007/978-3-540-40007-3_26.
Naoki Kobayashi (2006):
A New Type System for Deadlock-Free Processes.
In: Proc. of CONCUR 2006,
LNCS 4137.
Springer,
pp. 233–247,
doi:10.1007/11817949_16.
Luca Padovani (2013):
From Lock Freedom to Progress Using Session Types.
In: Proceedings of PLACES 2013, Rome, Italy, 23rd March 2013.,
EPTCS 137,
pp. 3–19,
doi:10.4204/EPTCS.137.2.
Benjamin C. Pierce (2002):
Types and programming languages.
MIT Press,
MA, USA.
Bernardo Toninho, Luís Caires & Frank Pfenning (2014):
Corecursion and Non-divergence in Session-Typed Processes.
In: Proc. of TGC 2014,
LNCS 8902.
Springer,
pp. 159–175,
doi:10.1007/978-3-662-45917-1_11.
Vasco T. Vasconcelos (2012):
Fundamentals of session types.
Inf. Comput. 217,
pp. 52–70,
doi:10.1016/j.ic.2012.05.002.
Hugo Torres Vieira & Vasco Thudichum Vasconcelos (2013):
Typing Progress in Communication-Centred Systems.
In: COORDINATION,
LNCS 7890.
Springer,
pp. 236–250,
doi:10.1007/978-3-642-38493-6_17.
Philip Wadler (2012):
Propositions as sessions.
In: Proc. of ICFP'12,
pp. 273–286,
doi:10.1145/2364527.2364568.