Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009):
Foundations of session types.
In: PPDP.
ACM Press,
pp. 219–230.
Available at http://doi.acm.org/10.1145/1599410.1599437.
Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (2009):
Sessions and Session Types: An Overview.
In: WS-FM,
Lectures Notes in Computer Science 6194.
Springer,
pp. 1–28.
Available at http://dx.doi.org/10.1007/978-3-642-14458-5_1.
Simon J. Gay & Malcolm J. Hole (2005):
Subtyping for Session Types in the Pi Calculus.
Acta Informatica 42(2/3),
pp. 191–225.
Marco Giunti (2011):
Typed Observational Equivalence for Sessions.
Submitted.
Marco Giunti & Vasco T. Vasconcelos (2010):
A Linear Account of Session Types in the Pi Calculus.
In: CONCUR,
Lecture Notes in Computer Science 6269.
Springer,
pp. 432–446.
Available at http://dx.doi.org/10.1007/978-3-642-15375-4_30.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: ESOP,
Lectures Notes in Computer Science 1381.
Springer,
pp. 122–138.
Available at http://dx.doi.org/10.1007/BFb0053567.
Naoki Kobayashi, Benjamin C. Pierce & David N. Turner (1999):
Linearity and the pi-calculus.
ACM Transactions on Programming Languages and Systems 21(5),
pp. 914–947.
Available at http://doi.acm.org/10.1145/330249.330251.
Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt & Jean-Bernard Stefani (2009):
Typing Component-Based Communication Systems.
In: FMOODS/FORTE,
Lectures Notes in Computer Science 5522.
Springer,
pp. 167–181.
Available at http://dx.doi.org/10.1007/978-3-642-02138-1_11.
Robin Milner, Joachim Parrow & David Walker (1992):
A Calculus of Mobile Processes, parts I and II.
Information and Computation 100(1),
pp. 1–77.
Benjamin C. Pierce (2002):
Types and Programming Languages.
MIT Press.
Benjamin C. Pierce & Davide Sangiorgi (1996):
Typing and Subtyping for Mobile Processes.
Mathematical Structures in Computer Science 6(5),
pp. 409–453.
Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994):
An Interaction-based Language and its Typing System.
In: PARLE,
Lectures Notes in Computer Science 817.
Springer,
pp. 398–413.
Vasco T. Vasconcelos (2009):
Fundamentals of Session Types.
In: SFM,
Lectures Notes in Computer Science 5569.
Springer,
pp. 158–186.
Available at http://dx.doi.org/10.1007/978-3-642-01918-0_4.
Vasco T. Vasconcelos (2011):
Sessions, from types to programming languages.
In: Luca Aceto: The Concurrency Column.
Bulletin of the EATCS 103,
pp. 53–73.
David Walker (2005):
Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems.
MIT Press.