Giovanni Bernardi
Ornela Dardha
Simon J. Gay
Dimitrios Kouzapas
2014
On duality relations for session types
To appear in Proc. of TGC
Giovanni Bernardi
Matthew Hennessy
2013
Using higher-order contracts to model session types
CoRR
abs/1310.6176
http://arxiv.org/abs/1310.6176
Ornela Dardha
2014
Recursive Session Types Revisited
http://www.dcs.gla.ac.uk/~ornela/my_papers/D14-Extended.pdf
Ornela Dardha
2014
Type Systems for Distributed Programs: Components and Sessions
University of Bologna
http://www.dcs.gla.ac.uk/~ornela/my_papers/DardhaPhDThesis.pdf
Ornela Dardha
Elena Giachino
Davide Sangiorgi
2012
Session types revisited
PPDP
ACM
New York, NY, USA
139–150
10.1145/2370776.2370794
Simon Gay
Malcolm Hole
2005
Subtyping for Session Types in the Pi Calculus
Acta Informatica
42
2-3
191–225
10.1007/s00236-005-0177-z
Simon J. Gay
2008
Bounded polymorphism in session types
Mathematical Structures in Computer Science
18
5
895–930
10.1017/S0960129508006944
Kohei Honda
Vasco Vasconcelos
Makoto Kubo
1998
Language primitives and type disciplines for structured communication-based programming
ESOP'98
LNCS
1381
springer
Heidelberg, Germany
22–138
10.1007/BFb0053567
Naoki Kobayashi
Benjamin Pierce
David Turner
1996
Linear Types and π-calculus
POPL
21(5)
ACM Press
New York, NY, USA
358–371
10.1145/330249.330251
Davide Sangiorgi
David Walker
2001
The π-calculus - a theory of mobile processes
Cambridge University Press
Kaku Takeuchi
Kohei Honda
Makoto Kubo
1994
An Interaction-based Language and its Typing System
PARLE'94
398–413
10.1007/3-540-58184-7_118
Vasco T. Vasconcelos
2012
Fundamentals of session types
Information Computation
217
52–70
10.1016/j.ic.2012.05.002