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

L. Caires and H. T. Vieira, Conversation types, ESOP '09, pp.285-300, 2009.
DOI : 10.1007/978-3-642-00590-9_21
URL : http://eprints.imtlucca.it/2298/1/TorresVieira_LNCS_5502.pdf

S. Capecchi, E. Giachino, and N. Yoshida, Global escape in multiparty sessions, Mathematical Structures in Computer Science, vol.84, issue.02, pp.1-50, 2015.
DOI : 10.1007/978-3-540-78739-6_21
URL : https://hal.archives-ouvertes.fr/hal-01336832

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

M. Carbone, N. Yoshida, and K. Honda, Asynchronous Session Types: Exceptions and Multiparty Interactions, SFM'09, pp.187-212, 2009.
DOI : 10.1007/978-3-642-01918-0_5

R. Collet and P. V. Roy, Failure Handling in a Network-Transparent Distributed Programming Language, Advanced Topics in Exception Handling Techniques, pp.121-140, 2006.
DOI : 10.1007/11818502_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.68.7088

C. Colombo and G. J. Pace, Recovery within long-running transactions, ACM Computing Surveys, vol.45, issue.3, pp.1-2835, 2013.
DOI : 10.1145/2480741.2480745

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

F. C. Gärtner, Fundamentals of fault-tolerant distributed computing in asynchronous environments, ACM Computing Surveys, vol.31, issue.1, pp.1-26, 1999.
DOI : 10.1145/311531.311532

C. Guidi, I. Lanese, F. Montesi, and G. Zavattaro, On the interplay between fault handling and request-response service invocations, 2008 8th International Conference on Application of Concurrency to System Design, pp.190-198, 2008.
DOI : 10.1109/ACSD.2008.4574611

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

R. Hu, R. Neykova, N. Yoshida, R. Demangeon, and K. Honda, Practical interruptible conversations -distributed dynamic verification with session types and Python, RV '13, pp.130-148, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01146168

S. Jak?i´jak?i´c and L. Padovani, Exception handling for copyless messaging, Science of Computer Programming, vol.84, pp.22-51, 2014.
DOI : 10.1016/j.scico.2013.05.001

I. Lanese and F. Montesi, Error Handling: From Theory to Practice, ISoLA'10, pp.66-81, 2010.
DOI : 10.1007/978-3-642-16561-0_13

I. Lanese, F. Montesi, and G. Zavattaro, Amending Choreographies, WWV'13, pp.34-48, 2013.
DOI : 10.4204/EPTCS.123.5
URL : https://hal.archives-ouvertes.fr/hal-00909305

D. Mostrous, Session Types in Concurrent Calculi: Higher-Order Processes and Objects, 2009.

B. C. Pierce, Types and Programming Languages, 2002.

K. Takeuchi, K. Honda, and M. Kubo, An interaction-based language and its typing system, PARLE'94, pp.398-413, 1994.
DOI : 10.1007/3-540-58184-7_118
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.45.1431

H. T. 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

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