M. Adameit, K. Peters, U. Nestmann, and T. Berlin, Session Types for Link Failures Available at https://arxiv, 2017.
DOI : 10.1007/978-3-319-60225-7_1

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

L. Bocchi, K. Honda, E. Tuosto, and N. Yoshida, A Theory of Design-by-Contract for Distributed Multiparty Interactions, Proc. of CONCUR, pp.162-176, 2010.
DOI : 10.1007/978-3-642-15375-4_12

S. Capecchi, E. Giachino, and N. Yoshida, Global escape in multiparty sessions, Mathematical Structures in Computer Science, vol.84, issue.02, pp.156-205, 2016.
DOI : 10.1007/978-3-540-78739-6_21

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

M. Carbone, K. Honda, and N. Yoshida, Structured Interactional Exceptions in Session Types, Proc. of CONCUR, pp.402-417, 2008.
DOI : 10.1007/978-3-540-85361-9_32

R. Demangeon, Nested Protocols in Session Types. Personal communication about an extended version of [7] that is currently prepared by R. Demangeon, 2015.

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

D. Kouzapas, R. Gutkovas, and S. J. Gay, Session Types for Broadcasting, Proc. of PLACES, pp.25-31, 2014.
DOI : 10.1016/j.entcs.2007.02.056

URL : http://arxiv.org/pdf/1406.3481

N. A. Lynch, Distributed Algorithms, 1996.

R. Milner, J. Parrow, and D. Walker, A Calculus of Mobile Processes, Part I and II. Information and Computation, pp.1-77, 1992.

G. Tel, Introduction to Distributed Algorithms, 1994.
DOI : 10.1017/CBO9781139168724