Giuseppe Castagna
Mariangiola Dezani-Ciancaglini
Elena Giachino
Luca Padovani
2009
Foundations of session types
PPDP
ACM Press
219–230
http://doi.acm.org/10.1145/1599410.1599437
Mariangiola Dezani-Ciancaglini
Ugo de'Liguoro
2009
Sessions and Session Types: An Overview
WS-FM
Lectures Notes in Computer Science
6194
Springer
1–28
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
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
CONCUR
Lecture Notes in Computer Science
6269
Springer
432–446
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
ESOP
Lectures Notes in Computer Science
1381
Springer
122–138
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
914–947
http://doi.acm.org/10.1145/330249.330251
Michael Lienhardt
Claudio Antares Mezzina
Alan Schmitt
Jean-Bernard Stefani
2009
Typing Component-Based Communication Systems
FMOODS/FORTE
Lectures Notes in Computer Science
5522
Springer
167–181
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
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
409–453
Kaku Takeuchi
Kohei Honda
Makoto Kubo
1994
An Interaction-based Language and its Typing System
PARLE
Lectures Notes in Computer Science
817
Springer
398–413
Vasco T. Vasconcelos
2009
Fundamentals of Session Types
SFM
Lectures Notes in Computer Science
5569
Springer
158–186
http://dx.doi.org/10.1007/978-3-642-01918-0_4
Vasco T. Vasconcelos
2011
Sessions, from types to programming languages
Luca Aceto
The Concurrency Column
Bulletin of the EATCS 103
53–73
David Walker
2005
Advanced Topics in Types and Programming Languages
Substructural Type Systems
MIT Press