, Concurrent programming in Erlang, 1996.
Term Rewriting and All That, 1998. ,
Logical reversibility of computation, IBM Journal of Research and Development, vol.17, pp.525-532, 1973. ,
Notes on the history of reversible computation, IBM Journal of Research and Development, vol.44, issue.1, pp.270-278, 2000. ,
A declarative debugger for concurrent erlang programs (extended version), Dpto. Sistemas Informáticos y Computación, 2013. ,
Reversible structures. In F. Fages, editor, Proceedings of the 9th International Conference on Computational Methods in Systems Biology (CMSB 2011), pp.131-140, 2011. ,
Core erlang 1.0.3. language specification, 2004. ,
A compositional semantics for the reversible p-calculus, 28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, pp.388-397, 2013. ,
Reversible communicating systems, Proc. of the 15th International Conference on Concurrency Theory, vol.3170, pp.292-307, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00784051
Transactions in RCCS, Proc. of the 16th International Conference on Concurrency Theory (CONCUR 2005), vol.3653, pp.398-412, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00164585
Transactors: a programming model for maintaining globally consistent distributed state in unreliable environments, Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2005), pp.195-208, 2005. ,
Introduction to reversible computing: motivation, progress, and challenges, Proceedings of the Second Conference on Computing Frontiers, pp.385-390, 2005. ,
A framework for reasoning about Erlang code, 2001. ,
Causal-consistent reversible debugging, Proc. of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), vol.8411, pp.370-384, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089270
Causal-consistent reversibility in a tuple-based language, Proceedings of the 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, pp.467-475, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01227615
Fault tolerant distributed computing using asynchronous local checkpointing, Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control (AGERE! 2014), pp.81-93, 2014. ,
Irreversibility and heat generation in the computing process, IBM Journal of Research and Development, vol.5, pp.183-191, 1961. ,
Controlling reversibility in higher-order pi, Proceedings of the 22nd International Conference on Concurrency Theory, vol.6901, pp.297-311, 2011. ,
Reversibility in the higher-order ?-calculus, Theor. Comput. Sci, vol.625, pp.25-84, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01081714
Causal-consistent reversibility, Bulletin of the EATCS, vol.114, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089350
CauDEr website ,
CauDEr: A causalconsistent reversible debugger for Erlang, Proceedings of the 14th International Symposium on Functional and Logic Programming (FLOPS 2018, vol.10818, pp.247-263, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912894
A reversible abstract machine and its space overhead, Proceedings of the Joint 14th IFIP WG Int'l Conf. on Formal Techniques for Distributed Systems (FMOODS 2012) and the 32nd IFIP WG 6.1 International Conference, vol.7273, pp.1-17, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00909384
Bidirectionalization transformation based on automatic derivation of view complement functions, Proc. of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, pp.47-58, 2007. ,
Let it recover: multiparty protocol-induced recovery, Proceedings of the 26th International Conference on Compiler Construction, pp.98-108, 2017. ,
Reversible term rewriting, 1st International Conference on Formal Structures for Computation and Deduction, vol.52, pp.1-28, 2016. ,
A reversible semantics for Erlang, Proc. of the 26th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2016, vol.10184, pp.259-274, 2017. ,
Reversing algebraic process calculi, J. Log. Algebr. Program, vol.73, issue.1-2, pp.70-96, 2007. ,
Tree-manipulating systems and Church-Rosser theorems, Journal of the ACM, vol.20, issue.1, pp.160-187, 1973. ,
A unified semantics for future Erlang, Proc. of the 9th ACM SIGPLAN workshop on Erlang, pp.23-32, 2010. ,
Interpretation and programming of the reversible functional language RFUN, Proc. of the 27th International Symposium on Implementation and Application of Functional Languages (IFL 2015), vol.8, pp.1-8, 2016. ,
Reversible session-based pi-calculus, J. Log. Algebr. Meth. Program, vol.84, issue.5, pp.684-707, 2015. ,
Reversible computation and reversible programming languages, Proc. of the Workshop on Reversible Computation, vol.253, pp.71-81, 2009. ,
Principles of a reversible programming language, Proc. of the 5th Conference on Computing Frontiers, pp.43-54, 2008. ,