G. Castagna, M. Dezani-ciancaglini, E. Giachino, and &. Padovani, Foundations of session types, Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, PPDP '09, pp.219-230, 2009.
DOI : 10.1145/1599410.1599437

M. Dezani-ciancaglini and &. Ugo-de-'liguoro, Sessions and Session Types: An Overview, Lectures Notes in Computer Science, vol.6194, pp.1-28978, 2009.
DOI : 10.1007/978-3-642-14458-5_1

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

M. Giunti, Typed Observational Equivalence for Sessions, 2011.

M. Giunti, &. Vasco, and T. Vasconcelos, A Linear Account of Session Types in the Pi Calculus, In: CONCUR, Lecture Notes in Computer Science, vol.6269, pp.432-446978, 2010.
DOI : 10.1007/978-3-642-15375-4_30

K. Honda, T. Vasco, &. Vasconcelos, and . Kubo, Language primitives and type discipline for structured communication-based programming, In: ESOP, Lectures Notes in Computer Science, vol.1381, pp.122-138, 1998.
DOI : 10.1007/BFb0053567
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

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

M. Lienhardt, C. A. Mezzina, A. Schmitt, and &. Stefani, Typing Component-Based Communication Systems, Lectures Notes in Computer Science, vol.29, issue.1, pp.167-181978, 2009.
DOI : 10.1007/3-540-45927-8_8
URL : https://hal.archives-ouvertes.fr/inria-00488856

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

C. Benjamin and . Pierce, Types and Programming Languages, 2002.

C. Benjamin, D. Pierce, and . Sangiorgi, Typing and Subtyping for Mobile Processes, Mathematical Structures in Computer Science, vol.6, issue.5, pp.409-453, 1996.

K. Takeuchi, K. Honda, and &. Kubo, An interaction-based language and its typing system, In: PARLE, Lectures Notes in Computer Science, vol.817, pp.398-413, 1994.
DOI : 10.1007/3-540-58184-7_118

T. Vasco and . Vasconcelos, Fundamentals of Session Types, In: SFM, Lectures Notes in Computer Science, vol.5569, pp.158-186978, 2009.

T. Vasco and . Vasconcelos, Sessions, from types to programming languages, The Concurrency Column, Bulletin of the EATCS 103, pp.53-73, 2011.

D. Walker, Advanced Topics in Types and Programming Languages, chapter Substructural Type Systems, 2005.