L. Bettini, M. Coppo, L. D. Antoni, M. De-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

V. Bono and L. Padovani, Typing Copyless Message Passing, Log. Meth. in Comp. Sci, vol.8, pp.1-50, 2012.
DOI : 10.1007/978-3-642-19718-5_4
URL : http://arxiv.org/abs/1202.2086

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

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

G. Castagna, M. Dezani-ciancaglini, and L. Padovani, On Global Types and Multi-party Sessions, Log. Meth. in Comp. Sci, vol.13, issue.4, pp.1-45, 2012.
DOI : 10.1007/978-3-642-12032-9_10
URL : https://hal.archives-ouvertes.fr/hal-00618814

G. Cécé and A. Finkel, Verification of programs with half-duplex communication, Information and Computation, vol.202, issue.2, pp.166-190, 2005.
DOI : 10.1016/j.ic.2005.05.006

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

B. Courcelle, Fundamental properties of infinite trees, Theoretical Computer Science, vol.25, issue.2, pp.95-169, 1983.
DOI : 10.1016/0304-3975(83)90059-2

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

R. Demangeon and K. Honda, Nested Protocols in Session Types, CONCUR'12, pp.272-286, 2012.
DOI : 10.1007/978-3-642-32940-1_20

P. Deniélou and N. Yoshida, Multiparty Session Types Meet Communicating Automata, ESOP'12, pp.194-213, 2012.
DOI : 10.1007/978-3-642-28869-2_10

P. Deniélou, N. Yoshida, A. Bejleri, and R. Hu, Parameterised Multiparty Session Types, Logical Methods in Computer Science, vol.8, issue.4, p.2012
DOI : 10.2168/LMCS-8(4:6)2012

K. Honda, Types for dyadic interaction, CONCUR'93, 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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.3650

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, POPL'08, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.7594

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, Type-based information flow analysis for the pi-calculus

N. Kobayashi, A New Type System for Deadlock-Free Processes, CONCUR'06, pp.233-247, 2006.
DOI : 10.1007/11817949_16

N. Kobayashi, Type systems for concurrent programs Short version appeared in 10th Anniversary Colloquium of UNU/IIST, 2002.

N. Kobayashi, B. C. Pierce, and D. N. 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

N. Kobayashi and D. Sangiorgi, A hybrid type system for lock-freedom of mobile processes, ACM Transactions on Programming Languages and Systems, vol.32, issue.5, 2010.
DOI : 10.1145/1745312.1745313

F. Montesi and N. Yoshida, Compositional Choreographies, CON- CUR'13, pp.425-439, 2013.
DOI : 10.1007/978-3-642-40184-8_30
URL : https://hal.archives-ouvertes.fr/hal-00909321

L. Padovani, From Lock Freedom to Progress Using Session Types, PLACES'13, pp.3-19, 2013.
DOI : 10.4204/EPTCS.137.2
URL : http://doi.org/10.4204/eptcs.137.2

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

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