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

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

L. Caires and H. Vieira, Conversation types, Theoretical Computer Science, vol.411, pp.51-524399, 2010.
DOI : 10.1016/j.tcs.2010.09.010

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

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

G. Castagna and L. Padovani, Contracts for Mobile Processes, CONCUR'09, pp.211-228, 2009.
DOI : 10.1007/978-3-540-28644-8_32

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

M. Coppo, M. Dezani-ciancaglini, and N. Yoshida, Asynchronous Session Types and Progress for Object Oriented Languages, FMOODS'07, pp.1-31, 2007.
DOI : 10.1016/j.tcs.2006.06.028

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, PPDP'12, pp.139-150, 2012.
DOI : 10.2991/978-94-6239-204-5_6

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

P. Deniélou and N. Yoshida, Dynamic Multirole Session Types, POPL'11, pp.435-446, 2011.

M. Dezani-ciancaglini and U. Liguoro, Sessions and Session Types: An Overview, WS-FM'09, pp.1-28, 2010.
DOI : 10.1007/978-3-642-14458-5_1

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

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

M. Dezani-ciancaglini, D. Mostrous, N. Yoshida, and S. Drossopoulou, Session Types for Object-Oriented Languages, ECOOP'06, pp.328-352, 2006.
DOI : 10.1007/11785477_20

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

K. Honda, N. Yoshida, and M. Carbone, Multiparty Asynchronous Session Types, POPL'08, 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

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

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

H. Vieira, L. Caires, and J. C. Seco, The Conversation Calculus: A Model of Service-Oriented Computation, ESOP'08, pp.269-283, 2008.
DOI : 10.1007/978-3-540-78739-6_21