Ornela Dardha, Elena Giachino & Davide Sangiorgi (2012):
Session Types Revisited.
In: Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming (PPDP'12).
ACM,
pp. 139–150,
doi:10.1145/2370776.2370794.
Romain Demangeon & Kohei Honda (2011):
Full abstraction in a subtyped pi-calculus with linear types.
In: Proceedings of the 22nd International Conference on Concurrency Theory,
LNCS 742.
Springer,
pp. 460–474,
doi:10.1007/978-3-642-23217-6_19.
Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida & Sophia Drossopoulou (2006):
Session Types for Object-Oriented Languages.
In: Proceedings of the 14th ECOOP,
LNCS 4067.
Springer,
pp. 328–352,
doi:10.1007/11785477_20.
Simon J. Gay & Malcolm J. 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.
Kohei Honda, Vasco Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: Proceedings of the 14th ESOP,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
Atsushi Igarashi & Naoki Kobayashi (2004):
A Generic Type System for the Pi-Calculus.
Theoretical Computer Science 311(1–3),
pp. 121–163,
doi:10.1016/S0304-3975(03)00325-6.
Naoki Kobayashi (2002):
Type Systems for Concurrent Programs.
In: Formal Methods at the Crossroads: From Panacea to Foundational Support (Proceedings of UNU/IIST 10th Anniversary Colloquium),
LNCS 2757.
Springer,
pp. 439–453,
doi:10.1007/978-3-540-40007-3_26.
Extended version at http://www.kb.ecei.tohoku.ac.jp/~koba/papers/tutorial-type-extended.pdf.
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,
doi:10.1145/330249.330251.
Barbara Liskov & Jeannette M. Wing (1994):
A Behavioral Notion of Subtyping.
ACM Transactions on Programming Languages and Systems 16(6),
pp. 1811–1841,
doi:10.1145/197320.197383.
Robin Milner, Joachim Parrow & David Walker (1992):
A Calculus of Mobile Processes, parts I and II.
Information and Computation 100(1),
pp. 1–77,
doi:10.1016/0890-5401(92)90009-5.
Davide Sangiorgi & David Walker (2001):
The pi-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: Proceedings of the 14th PARLE,
LNCS 817.
Springer,
pp. 398–413,
doi:10.1007/3-540-58184-7_118.
eptcs@eptcs.org