R. M. Amadio, G. Boudol, and C. Lhoussaine, On message deliverability and non-uniform receptivity, Fundam. Inform, vol.53, issue.2, pp.105-129, 2002.

P. Baltazar, L. Caires, V. T. Vasconcelos, and H. T. Vieira, A Type System for Flexible Role Assignment in Multiparty Communicating Systems, TGC'12, pp.82-96, 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'08, 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.

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centered Programming for Web Services, ACM Transactions on Programming Languages and Systems, vol.34, issue.2, p.8, 2012.
DOI : 10.1145/2220365.2220367

M. Coppo, M. Dezani-ciancaglini, L. Padovani, and N. Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, COORDINATION'13, pp.45-59, 2013.
DOI : 10.1007/978-3-642-38493-6_4
URL : https://hal.archives-ouvertes.fr/hal-01486034

M. Coppo, M. Dezani-ciancaglini, N. Yoshida, and L. Padovani, Global progress for dynamically interleaved multiparty sessions, Mathematical Structures in Computer Science, vol.8, issue.02
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-01486034

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

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

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

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

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL'08, pp.273-284, 2008.

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. Kobayashi, A New Type System for Deadlock-Free Processes, LNCS, vol.4137, pp.233-247, 2006.
DOI : 10.1007/11817949_16

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, Proceedings of the 6th Workshop on Programming Language Approaches to Concurrency and CommunicationcEntric Software (PLACES'13), pp.3-19, 2013.
DOI : 10.4204/EPTCS.137.2

L. Padovani, Deadlock and lock freedom in the linear ??-calculus, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14
DOI : 10.1145/2603088.2603116
URL : https://hal.archives-ouvertes.fr/hal-00932356

L. Padovani, V. T. Vasconcelos, and H. T. Vieira, Typing Liveness in Multiparty Communicating Systems, Tech. rep, 2014.
DOI : 10.1007/978-3-662-43376-8_10
URL : https://hal.archives-ouvertes.fr/hal-00960879

D. Sangiorgi, The name discipline of uniform receptiveness, Theoretical Computer Science, vol.221, issue.1-2, pp.457-493, 1999.
DOI : 10.1016/S0304-3975(99)00040-7

V. T. Vasconcelos, Typed concurrent objects, ECOOP'94. pp. 100?117, 1994.
DOI : 10.1007/BFb0052178

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

H. T. Vieira and V. T. Vasconcelos, Typing progress in communication-centred systems, CO- ORDINATION'13, pp.236-250, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01486030