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

M. Brill, W. Damm, J. Klose, B. Westphal, and H. Wittke, Live Sequence Charts, SoftSpez Final Report, pp.374-399, 2004.
DOI : 10.1007/978-3-540-27863-4_21

M. Carbone and S. Debois, A Graphical Approach to Progress for Structured Communication in Web Services, Electronic Proceedings in Theoretical Computer Science, vol.38, pp.13-27, 2010.
DOI : 10.4204/EPTCS.38.4

S. Cheung, D. Giannakopoulou, and J. Kramer, Verification of liveness properties using compositional reachability analysis, Lecture Notes in Computer Science, vol.1301, pp.227-243, 1997.
DOI : 10.1007/3-540-63531-9_17

M. Coppo, M. Dezani-ciancaglini, L. Padovani, and N. Yoshida, Inference of Global Progress Properties for Dynamically Interleaved Multiparty Sessions, pp.45-59, 2013.
DOI : 10.1007/978-3-642-38493-6_4

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

W. Damm and D. Harel, Lscs: Breathing life into message sequence charts, Formal Methods in System Design, vol.19, issue.1, pp.45-80, 2001.
DOI : 10.1023/A:1011227529550

S. Debois, T. Hildebrandt, T. Slaats, and N. Yoshida, Type checking liveness for collaborative processes with bounded and unbounded recursion (full version)

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

P. Deniélou and N. Yoshida, Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types, pp.174-186, 2013.
DOI : 10.1007/978-3-642-39212-2_18

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

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

M. Dezani-ciancaglini, S. Drossopoulou, D. Mostrous, and N. Yoshida, Objects and session types, Information and Computation, vol.207, issue.5, pp.595-641, 2009.
DOI : 10.1016/j.ic.2008.03.028

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

L. Fossati, K. Honda, and N. Yoshida, Intensional and Extensional Characterisation of Global Progress in the ??-Calculus, pp.287-301, 2012.
DOI : 10.1007/978-3-642-32940-1_21

S. J. Gay and M. Hole, Subtyping for session types in the pi calculus, Acta Inf, pp.191-225, 2005.

K. Honda, A. Mukhamedov, G. Brown, T. Chen, and N. Yoshida, Scribbling Interactions with a Formal Foundation, pp.55-75, 2011.
DOI : 10.1007/978-3-642-19056-8_4

K. Honda, V. Vasconcelos, and M. Kubo, Language primitives and type discipline for structured communication-based programming, 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, pp.273-284, 2008.
DOI : 10.1145/1328438.1328472

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

R. Hu, N. Yoshida, and K. Honda, Session-Based Distributed Programming in Java, LNCS, vol.5142, issue.08, pp.516-541, 2008.
DOI : 10.1007/978-3-540-70592-5_22

N. Kobayashi, A type system for lock-free processes, I&C, vol.177, pp.122-159, 2002.
DOI : 10.1006/inco.2002.3171

N. Kobayashi and C. L. Ong, A Type System Equivalent to the Modal Mu-Calculus Model Checking of Higher-Order Recursion Schemes, 2009 24th Annual IEEE Symposium on Logic In Computer Science, pp.179-188, 2009.
DOI : 10.1109/LICS.2009.29

D. Mostrous and V. T. Vasconcelos, Session Typing for a Featherweight Erlang, pp.95-109, 2011.
DOI : 10.1016/j.entcs.2004.05.008

L. Padovani, Fair Subtyping for Open Session Types, pp.373-384, 2013.
DOI : 10.1007/978-3-642-39212-2_34

URL : http://hdl.handle.net/2318/137477

J. Roa, O. Chiotti, and P. D. Villarreal, A Verification Method for Collaborative Business Processes, Business Process Management Workshops Lecture Notes in Business Information Processing 99, pp.293-305, 2011.
DOI : 10.1007/978-3-540-74974-5_4

V. Vasconcelos, Fundamentals of session types, I&C, vol.217, pp.52-70, 2012.

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

N. Yoshida and V. T. Vasconcelos, Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication, Electronic Notes in Theoretical Computer Science, vol.171, issue.4, pp.73-93, 2007.
DOI : 10.1016/j.entcs.2007.02.056