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.
Available at http://arxiv.org/abs/1310.6176.
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.
In: PPDP.
ACM,
New York, NY, USA,
pp. 139–150,
doi:10.1145/2370776.2370794.
Simon Gay & Malcolm Hole (2005):
Subtyping for Session Types in the Pi Calculus.
Acta Informatica 42(2-3),
pp. 191–225,
doi:10.1007/s00236-005-0177-z.
Simon J. Gay (2008):
Bounded polymorphism in session types.
Mathematical Structures in Computer Science 18(5),
pp. 895–930,
doi:10.1017/S0960129508006944.
Kohei Honda, Vasco Vasconcelos & Makoto Kubo (1998):
Language primitives and type disciplines for structured communication-based programming.
In: ESOP'98,
LNCS 1381.
springer,
Heidelberg, Germany,
pp. 22–138,
doi:10.1007/BFb0053567.
Naoki Kobayashi, Benjamin Pierce & David Turner (1996):
Linear Types and π-calculus.
In: POPL 21(5).
ACM Press,
New York, NY, USA,
pp. 358–371,
doi: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.
In: PARLE'94,
pp. 398–413,
doi:10.1007/3-540-58184-7_118.
Vasco T. Vasconcelos (2012):
Fundamentals of session types.
Information Computation 217,
pp. 52–70,
doi:10.1016/j.ic.2012.05.002.