Luís Caires, Jorge A. Pérez, Frank Pfenning & Bernardo Toninho (2013):
Behavioral Polymorphism and Parametricity in Session-Based Communication.
In: Matthias Felleisen & Philippa Gardner: ESOP,
Lecture Notes in Computer Science 7792.
Springer,
pp. 330–349.
Available at http://dx.doi.org/10.1007/978-3-642-37036-6_19.
Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: Paul Gastin & François Laroussinie: CONCUR,
Lecture Notes in Computer Science 6269.
Springer,
pp. 222–236.
Available at http://dx.doi.org/10.1007/978-3-642-15375-4_16.
Romain Demangeon & Kohei Honda (2011):
Full Abstraction in a Subtyped pi-Calculus with Linear Types.
In: Joost-Pieter Katoen & Barbara König: CONCUR,
Lecture Notes in Computer Science 6901.
Springer,
pp. 280–296.
Available at http://dx.doi.org/10.1007/978-3-642-23217-6_19.
Henry DeYoung, Luís Caires, Frank Pfenning & Bernardo Toninho (2012):
Cut Reduction in Linear Logic as Asynchronous Session-Typed Communication.
In: Patrick Cégielski & Arnaud Durand: CSL,
LIPIcs 16.
Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik,
pp. 228–242.
Available at http://dx.doi.org/10.4230/LIPIcs.CSL.2012.228.
Thomas Ehrhard & Olivier Laurent (2010):
Interpreting a finitary pi-calculus in differential interaction nets.
Inf. Comput. 208(6),
pp. 606–633.
Available at http://dx.doi.org/10.1016/j.ic.2009.06.005.
Philippa Gardner, Cosimo Laneve & Lucian Wischik (2007):
Linear forwarders.
Inf. Comput. 205(10),
pp. 1526–1550.
Available at http://dx.doi.org/10.1016/j.ic.2007.01.006.
Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: Chris Hankin: ESOP,
Lecture Notes in Computer Science 1381.
Springer,
pp. 122–138.
Available at http://dx.doi.org/10.1007/BFb0053567.
Kohei Honda, Nobuko Yoshida & Marco Carbone (2008):
Multiparty asynchronous session types.
In: George C. Necula & Philip Wadler: POPL.
ACM,
pp. 273–284.
Available at http://doi.acm.org/10.1145/1328438.1328472.
Ugo Dal Lago & Paolo Di Giamberardino (2011):
Soft Session Types.
In: Bas Luttik & Frank Valencia: EXPRESS,
EPTCS 64,
pp. 59–73.
Available at http://dx.doi.org/10.4204/EPTCS.64.5.
Cosimo Laneve & Björn Victor (2003):
Solos In Concert.
Mathematical Structures in Computer Science 13(5),
pp. 657–683.
Available at http://dx.doi.org/10.1017/S0960129503004055.
Dimitris Mostrous (2012):
Proof Nets in Process Algebraic Form.
Available at http://www.di.fc.ul.pt/~dimitris/.
Jorge A. Pérez, Luís Caires, Frank Pfenning & Bernardo Toninho (2012):
Linear Logical Relations for Session-Based Concurrency.
In: ESOP '12,
pp. 539–558.
Available at http://dx.doi.org/10.1007/978-3-642-28869-2_27.
Benjamin C. Pierce & Davide Sangiorgi (2000):
Behavioral equivalence in the polymorphic pi-calculus.
Journal of the ACM 47(3),
pp. 531–584.
Available at http://doi.acm.org/10.1145/337244.337261.
Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994):
An Interaction-based Language and its Typing System.
In: Constantine Halatsis, Dimitris G. Maritsas, George Philokyprou & Sergios Theodoridis: PARLE,
Lecture Notes in Computer Science 817.
Springer,
pp. 398–413.
Available at http://dx.doi.org/10.1007/3-540-58184-7_118.