A survey of rollback-recovery protocols in message-passing systems, ACM Computing Surveys, vol.34, issue.3, pp.375-408, 2002. ,
DOI : 10.1145/568522.568525
System structure for software fault tolerance, IEEE Transactions on Software Engineering, vol.1, issue.2, pp.220-232, 1975. ,
DOI : 10.1145/800027.808467
URL : http://www.cs.ncl.ac.uk/research/pubs/inproceedings/../inproceedings/papers/341.pdf
Reversible Communicating Systems, CONCUR, pp.292-307, 2004. ,
DOI : 10.1007/BFb0012800
URL : https://hal.archives-ouvertes.fr/hal-00784051
Resource Access and Mobility Control with Dynamic Privileges Acquisition, ICALP, pp.119-132, 2003. ,
DOI : 10.1007/3-540-45061-0_11
URL : http://gdn.dsi.unifi.it/~gorla/./papers/muklaim-full.pdf
Causal-Consistent Reversibility in a Tuple-Based Language, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.467-475, 2015. ,
DOI : 10.1109/PDP.2015.98
URL : https://hal.archives-ouvertes.fr/hal-01227615
KLAIM: a kernel language for agents interaction and mobility, IEEE Transactions on Software Engineering, vol.24, issue.5, pp.315-330, 1998. ,
DOI : 10.1109/32.685256
Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985. ,
DOI : 10.1145/2363.2433
URL : http://www.cis.umassd.edu/~hxu/courses/cis602/papers/p80-gelernter-linda.pdf
The Klaim Project: Theory and Practice, Global Computing, pp.88-150, 2003. ,
DOI : 10.1007/978-3-540-40042-4_4
URL : http://gdn.dsi.unifi.it/~gorla/./papers/GC03.pdf
Reversing Higher-Order Pi, CONCUR, pp.478-493, 2010. ,
DOI : 10.1007/978-3-642-15375-4_33
Reversing algebraic process calculi, The Journal of Logic and Algebraic Programming, vol.73, issue.1-2, pp.70-96, 2007. ,
DOI : 10.1016/j.jlap.2006.11.002
URL : https://doi.org/10.1016/j.jlap.2006.11.002
A compositional semantics for the reversible pi-calculus, pp.388-397, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00840156
A Reversible Abstract Machine and Its Space Overhead, FMOODS/FORTE, pp.2012-2013 ,
DOI : 10.1007/978-3-642-30793-5_1
URL : https://hal.archives-ouvertes.fr/hal-00909384
Reversibility in the higher-order ?? -calculus, Theoretical Computer Science, vol.625, pp.25-84, 2016. ,
DOI : 10.1016/j.tcs.2016.02.019
URL : https://hal.archives-ouvertes.fr/hal-01081714
Safe programmable speculative parallelism, pp.50-61, 2010. ,
DOI : 10.1145/1809028.1806603
URL : http://research.microsoft.com/pubs/118795/pldi026-vaswani.pdf
Warp speed, Proceedings of the 2013 ACM SIGSIM conference on Principles of advanced discrete simulation, SIGSIM-PADS '13, pp.327-336, 2013. ,
DOI : 10.1145/2486092.2486134
Concurrent Flexible Reversibility, ESOP, pp.370-390, 2013. ,
DOI : 10.1007/978-3-642-37036-6_21
URL : https://hal.archives-ouvertes.fr/hal-00811629
Controlling Reversibility in Higher-Order Pi, CON- CUR, pp.297-311, 2011. ,
DOI : 10.1017/S0956796810000067
URL : http://sardes.inrialpes.fr/%7Easchmitt/papers/Lanese2011Controlling-Reversib.pdf
Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004. ,
DOI : 10.1109/TDSC.2004.2
URL : http://www.cs.newcastle.ac.uk/publications/articles/papers/666.pdf
Abstractions for fault-tolerant global computing, Theoretical Computer Science, vol.322, issue.3, pp.567-613, 2004. ,
DOI : 10.1016/j.tcs.2003.09.014
URL : https://doi.org/10.1016/j.tcs.2003.09.014
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, POPL, ACM, pp.195-208, 2005. ,
A formal approach to undo operations in programming languages, ACM Transactions on Programming Languages and Systems, vol.8, issue.1, pp.50-87, 1986. ,
DOI : 10.1145/5001.5005
Reversible, irreversible and optimal ??-machines, Theoretical Computer Science, vol.227, issue.1-2, pp.79-97, 1999. ,
DOI : 10.1016/S0304-3975(99)00049-3
URL : https://doi.org/10.1016/s0304-3975(99)00049-3
Using reversible computing to achieve fail-safety, Proceedings The Eighth International Symposium on Software Reliability Engineering, pp.182-191, 1997. ,
DOI : 10.1109/ISSRE.1997.630863
Transactions in RCCS, CONCUR, pp.398-412, 2005. ,
DOI : 10.1007/11539452_31
URL : https://hal.archives-ouvertes.fr/hal-00164585
On the Statistical Thermodynamics of Reversible Communicating Processes, CALCO, pp.1-18, 2011. ,
DOI : 10.1007/978-3-642-22944-2_1
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, RC, pp.2012-218 ,
DOI : 10.1007/978-3-642-36315-3_18
Towards Modelling of Local Reversibility, RC, pp.279-284, 2015. ,
DOI : 10.1007/978-3-319-20860-2_19
Causal-consistent reversibility, Bulletin of the EATCS, vol.114, pp.121-139, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089350
Klava: a Java package for distributed and mobile applications, Software -Pract, Exper, vol.32, issue.14, pp.1365-1394, 2002. ,
DOI : 10.1002/spe.486
A review of reverse debugging, in: System, Software, SoC and Silicon Debug, IEEE, pp.1-6, 2012. ,
Causal-Consistent Reversible Debugging, FASE Lecture Notes in Computer Science, vol.8411, pp.370-384, 2014. ,
DOI : 10.1007/978-3-642-54804-8_26
URL : https://hal.archives-ouvertes.fr/hal-01089270