G. Agha, Actors: A Model of Concurrent Computation in Distributed Systems, 1986.

J. Armstrong, Programming Erlang: Software for a Concurrent World, 2007.

C. Artho, H. Barringer, A. Goldberg, K. Havelund, S. Khurshid et al., Combining test case generation and runtime verification, Theoretical Computer Science, vol.336, issue.2-3, 2005.
DOI : 10.1016/j.tcs.2004.11.007

L. Bocchi, T. Chen, R. Demangeon, K. Honda, and N. Yoshida, Monitoring networks through multiparty session types, FMOODS/FORTE 2013, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01213683

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

I. Cassar and A. Francalanza, Runtime Adaptation for Actor Systems, RV, 2015.
DOI : 10.1007/s10515-005-6205-y

I. Cassar and A. Francalanza, On Implementing a Monitor-Oriented Programming Framework for Actor Systems, iFM, 2016.
DOI : 10.1109/MIC.2011.100

I. Cassar, A. Francalanza, C. A. Mezzina, and E. Tuosto, Reliability and Fault-Tolerance by Choreographic Design, PrePost@iFM, 2017.
DOI : 10.1145/1370175.1370181

F. Cesarini and S. Thompson, Erlang Programming, 2009.

F. Chen and G. Rosu, Towards Monitoring-Oriented Programming, Electronic Notes in Theoretical Computer Science, vol.89, issue.2, pp.108-127, 2003.
DOI : 10.1016/S1571-0661(04)81045-4

M. R. Clarkson and F. B. Schneider, Hyperproperties, Journal of Computer Security, vol.18, issue.6, pp.1157-1210, 2010.
DOI : 10.3233/JCS-2009-0393

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

A. Desai, T. Dreossi, and S. A. Seshia, Combining Model Checking and Runtime Verification for Safe Robotics, 2017.
DOI : 10.1109/ICAR.2011.6088591

E. N. Elnozahy, L. Alvisi, Y. Wang, and D. B. Johnson, A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys, vol.34, issue.3, 2002.
DOI : 10.1145/568522.568525

, Erlang Run-Time System Application, Reference Manual Version 9.2

J. Field and C. A. Varela, Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, POPL 2005. ACM, 2005.

A. Francalanza, A Theory of Monitors, FoSSaCS, 2016.
DOI : 10.1007/978-1-4615-1663-7

A. Francalanza, L. Aceto, A. Achilleos, D. P. Attard, I. Cassar et al., A Foundation for Runtime Monitoring, Runtime Verification, 2017.
DOI : 10.1007/978-3-642-40787-1_23

J. Gray and A. Reuter, Transaction Processing: Concepts and Techniques, 1993.

R. Guanciale and E. Tuosto, An Abstract Semantics of the Global View of Choreographies, ICE, 2016.
DOI : 10.1145/2676726.2676964

C. Hewitt, P. Bishop, and R. Steiger, A Universal Modular ACTOR Formalism for Artificial Intelligence, IJCAI, 1973.

K. Honda, N. Yoshida, and M. Carbone, Multiparty asynchronous session types, J. ACM, vol.63, issue.1, 2016.

K. Kejstová, P. Ro?kai, and J. Barnat, From Model Checking to Runtime Verification??and Back, 2017.
DOI : 10.1145/1250734.1250746

I. Lanese, C. A. Mezzina, and J. Stefani, Controlled Reversibility and Compensations, RC 2012. Revised Papers, 2012.
DOI : 10.1007/978-3-642-36315-3_19
URL : https://hal.archives-ouvertes.fr/hal-00909377

P. O. Meredith, D. Jin, D. Griffith, F. Chen, and G. Ros¸uros¸u, An overview of the MOP runtime verification framework, International Journal on Software Tools for Technology Transfer, vol.11, issue.6, pp.249-289, 2012.
DOI : 10.1145/363347.363387

C. A. Mezzina and J. A. Pérez, Causally consistent reversible choreographies, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming , PPDP '17, 2017.
DOI : 10.1007/978-3-319-40578-0_4

C. A. Mezzina and J. A. Pérez, Reversibility in session-based concurrency: A fresh look, Journal of Logical and Algebraic Methods in Programming, vol.90, pp.2-30, 2017.
DOI : 10.1016/j.jlamp.2017.03.003

R. Neykova and N. Yoshida, Let it recover: multiparty protocol-induced recovery, Proceedings of the 26th International Conference on Compiler Construction, CC 2017, 2017.
DOI : 10.1145/1596600.1596604

N. Nishida, A. Palacios, and G. Vidal, A Reversible Semantics for Erlang, LOPSTR, 2016.
DOI : 10.1016/j.entcs.2010.02.007

K. Perumalla, Introduction to Reversible Computing. Chapman & Hall/CRC Computational Science, 2013.

I. Phillips, I. Ulidowski, and S. Yuen, A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation, 4th International Workshop, 2012.
DOI : 10.1007/978-3-642-36315-3_18

E. Tuosto and R. Guanciale, Semantics of global view of choreographies, Journal of Logical and Algebraic Methods in Programming, vol.95, pp.17-40, 2018.
DOI : 10.1016/j.jlamp.2017.11.002