P. Baltazar, L. Caires, V. T. Vasconcelos, and H. T. Vieira, A Type System for Flexible Role Assignment in Multiparty Communicating Systems, TGC 2012, Proceedings, 2012.
DOI : 10.1007/978-3-642-41157-1_6

L. Bettini, M. Coppo, L. D-'antoni, M. D. Luca, M. Dezani-ciancaglini et al., Global Progress in Dynamically Interleaved Multiparty Sessions, CONCUR 2008, Proceedings. LNCS, pp.418-433, 2008.
DOI : 10.1007/978-3-540-85361-9_33

L. Caires and H. T. Vieira, Conversation types, Theor. Comput. Sci, vol.411, pp.51-52, 2010.
DOI : 10.1016/j.tcs.2010.09.010

URL : http://doi.org/10.1016/j.tcs.2010.09.010

M. Dezani-ciancaglini, U. De-'liguoro, and N. Yoshida, On Progress for Structured Communications, TGC 2007, Proceedings. LNCS, pp.257-275, 2007.
DOI : 10.1007/978-3-540-78663-4_18

M. Fähndrich, M. Aiken, C. Hawblitzel, O. Hodson, G. C. Hunt et al., Language support for fast and reliable message-based communication in singularity OS, Proceedings. pp, pp.177-190, 2006.

S. J. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Informatica, vol.Analysis, issue.1, pp.191-225, 2005.
DOI : 10.1007/s00236-005-0177-z

S. J. Gay, V. T. Vasconcelos, A. Ravara, N. Gesbert, and A. Z. Caldeira, Modular session types for distributed object-oriented programming, POPL 2010, Proceedings . pp, pp.299-312, 2010.

K. Honda, Types for dyadic interaction, Proceedings. LNCS, vol.715, pp.509-523, 1993.
DOI : 10.1007/3-540-57208-2_35

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Honda, V. T. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, Proceedings. LNCS, vol.1381, pp.122-138, 1998.
DOI : 10.1007/BFb0053567

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL 2008, Proceedings. pp, pp.273-284, 2008.
DOI : 10.1145/2827695

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Kobayashi, A Type System for Lock-Free Processes, Information and Computation, vol.177, issue.2, pp.122-159, 2002.
DOI : 10.1016/S0890-5401(02)93171-8

N. A. Lynch, Fast allocation of nearby resources in a distributed system, Proceedings of the twelfth annual ACM symposium on Theory of computing , STOC '80, pp.70-81, 1980.
DOI : 10.1145/800141.804654

R. Milner, J. Parrow, and D. 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

L. Padovani, From Lock Freedom to Progress Using Session Types, PLACES 2013, Proceedings (2013)
DOI : 10.4204/EPTCS.137.2

URL : http://doi.org/10.4204/eptcs.137.2

D. Sangiorgi and D. Walker, The ?-Calculus: A Theory of Mobile Processes, 2001.

A. Vallecillo, V. T. Vasconcelos, and A. Ravara, Typing the behavior of software components using session types, Fundam. Inform, vol.73, issue.4, pp.583-598, 2006.

V. T. Vasconcelos, Fundamentals of session types, Information and Computation, vol.217, pp.52-70, 2012.
DOI : 10.1016/j.ic.2012.05.002