O. Dardha, E. Giachino, and D. Sangiorgi, Session Types Revisited, Proceedings of the 14th Symposium on Principles and Practice of Declarative Programming (PPDP'12), ACM, pp.139-15010, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909389

R. Demangeon and &. Honda, Full Abstraction in a Subtyped pi-Calculus with Linear Types, Proceedings of the 22nd International Conference on Concurrency Theory, pp.460-474, 2011.
DOI : 10.1016/j.ic.2003.08.004

M. Dezani-ciancaglini, D. Mostrous, N. , and S. Drossopoulou, Session Types for Object-Oriented Languages, Proceedings of the 14th ECOOP, pp.328-35210, 2006.
DOI : 10.1007/11785477_20

J. Simon, &. Gay, J. Malcolm, and . Hole, Subtyping for Session Types in the Pi-Calculus, Acta Informatica, vol.4223, pp.191-225, 2005.

K. Honda, V. Vasconcelos, and &. Kubo, Language primitives and type discipline for structured communication-based programming, Proceedings of the 14th ESOP, pp.122-13810, 1998.
DOI : 10.1007/BFb0053567

A. Igarashi and &. Kobayashi, A Generic Type System for the Pi-Calculus, Theoretical Computer Science, vol.31113, issue.03, pp.121-16310, 2004.

N. Kobayashi, Type Systems for Concurrent Programs, Proceedings of UNU/IIST 10th Anniversary Colloquium ), pp.439-453, 2002.
DOI : 10.1007/978-3-540-40007-3_26

N. Kobayashi, C. Benjamin, &. Pierce, N. David, and . Turner, Linearity and the pi-calculus, ACM Transactions on Programming Languages and Systems, vol.21, issue.5, pp.914-947, 1999.
DOI : 10.1145/330249.330251

B. Liskov, &. Jeannette, and M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-184110, 1994.
DOI : 10.1145/197320.197383

R. Milner, J. Parrow, and &. Walker, A calculus of mobile processes, I, Information and Computation, vol.100, issue.1, pp.1-7710, 1992.
DOI : 10.1016/0890-5401(92)90008-4

D. Sangiorgi and &. Walker, The pi-calculus, a theory of mobile processes, 2001.

K. Takeuchi, K. Honda, and &. Kubo, An interaction-based language and its typing system, 1994.
DOI : 10.1007/3-540-58184-7_118