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

L. Caires and F. Pfenning, Session Types as Intuitionistic Linear Propositions, In CONCUR, pp.222-236, 2010.
DOI : 10.1007/978-3-642-15375-4_16

M. Carbone, O. Dardha, and F. Montesi, Progress as Compositional Lock-Freedom, 2014.
DOI : 10.1007/978-3-662-43376-8_4

URL : https://hal.archives-ouvertes.fr/hal-01290067

M. Carbone and S. Debois, A Graphical Approach to Progress for Structured Communication in Web Services, Proc. of ICE'10, pp.13-27, 2010.
DOI : 10.4204/EPTCS.38.4

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. Carbone and F. Montesi, Deadlock-freedom-by-design: multiparty asynchronous global programming, POPL, pp.263-274, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00909320

M. Coppo, M. Dezani-ciancaglini, and N. Yoshida, Global progress for dynamically interleaved multiparty sessions (long version), 2008.

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

O. Dardha, E. Giachino, and D. Sangiorgi, Session types revisited, pp.139-150, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909389

P. Deniélou and N. Yoshida, Dynamic multirole session types, Proc. of POPL, pp.435-446, 2011.

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

S. 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, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, ESOP'98, pp.22-138, 1998.
DOI : 10.1007/BFb0053567

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, Proc. of POPL, 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, In CONCUR, pp.233-247, 2006.
DOI : 10.1007/11817949_16

N. Kobayashi and D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, ACM Trans. Program. Lang. Syst, vol.32, issue.5, 2010.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I and II. Information and Computation, pp.1-4041, 1992.

F. Montesi and M. Carbone, Programming Services with Correlation Sets, ICSOC, pp.125-141, 2011.
DOI : 10.1007/978-3-540-68265-3_13

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

B. C. Pierce, Types and programming languages, 2002.

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

P. Wadler, Propositions as sessions, ICFP, pp.273-286, 2012.