Erlang ? Software for a Concurrent World, ECOOP 2007 ? Object-Oriented Programming, vol.4609, pp.1-1 ,
On the Statistical Thermodynamics of Reversible Communicating Processes, Algebra and Coalgebra in Computer Science, vol.6859, pp.1-18, 2011. ,
Reversing Transitions in Bounded Petri Nets, Fundamenta Informaticae, vol.157, issue.4, pp.341-357, 2018. ,
A Modular Formalization of Reversibility for Concurrent Models and Languages, Electronic Proceedings in Theoretical Computer Science, vol.223, pp.98-112, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01337423
Efficient algorithms for bidirectional debugging, Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation - PLDI '00, pp.299-310, 2000. ,
Reversible structures, Proceedings of the 9th International Conference on Computational Methods in Systems Biology - CMSB '11, pp.131-140, 2011. ,
Core Erlang 1.0.3. Language specification, 2004. ,
Efficient optimistic parallel simulations using reverse computation, ACM Transactions on Modeling and Computer Simulation, vol.9, issue.3, pp.224-253, 1999. ,
A Compositional Semantics for the Reversible p-Calculus, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, pp.388-397, 2013. ,
Reversible Communicating Systems, CONCUR 2004 - Concurrency Theory, vol.3170, pp.292-307, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00784051
Causal-Consistent Reversible Debugging, Fundamental Approaches to Software Engineering, pp.370-384, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089270
Causal-consistent rollback in a tuple-based language, Journal of Logical and Algebraic Methods in Programming, vol.88, pp.99-120, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01633260
Event Structure Semantics of (controlled) Reversible CCS, Reversible Computation, vol.11106, pp.102-122, 2018. ,
Local reversibility in a Calculus of Covalent Bonding, Science of Computer Programming, vol.151, pp.18-47, 2018. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
Irreversibility and Heat Generation in the Computing Process, IBM Journal of Research and Development, vol.5, issue.3, pp.183-191, 1961. ,
From Reversible Semantics to Reversible Debugging, Reversible Computation, vol.11106, pp.34-46, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912920
Reversible metabolism of haloperidol (HAL) and reduced HAL (RHAL): A hypothesis concerning the therapeutic window effect of HAL treatment, Biological Psychiatry, vol.27, issue.9, p.80, 1990. ,
Controlling Reversibility in Higher-Order Pi, CONCUR 2011 ? Concurrency Theory, vol.6901, pp.297-311, 2011. ,
Controlled Reversibility and Compensations, Reversible Computation, vol.7581, pp.233-240, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909377
Reversibility in the higher-order ?-calculus, Theoretical Computer Science, 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: A Causal-Consistent Reversible Debugger for Erlang, Functional and Logic Programming, vol.10818, pp.247-263, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912894
A theory of reversibility for Erlang, Journal of Logical and Algebraic Methods in Programming, vol.100, pp.71-97, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912856
Causal-Consistent Replay Debugging for Message Passing Programs, Formal Techniques for Distributed Objects, Components, and Systems, pp.167-184, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02313745
Causal-Consistent Replay Debugging for Message Passing Programs, Formal Techniques for Distributed Objects, Components, and Systems, pp.167-184, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02313745
An Axiomatic Approach to Reversible Computation, Lecture Notes in Computer Science, vol.2020, pp.442-461, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-03004421
Playing with Bisimulation in Erlang, Models, Languages, and Tools for Concurrent and Distributed Programming, pp.71-91, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02376217
Automatic error recovery in robot assembly operations using reverse execution, IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, pp.1785-1792, 2015. ,
Light-Triggered Reversible Self-Engulfing of Janus Nanoparticles, Letter to R. Landauer ,
Time travel debugging: Root causing bugs in commercial scale software. CppCon talk, 2017. ,
Reversing P/T nets, Coordination Models and Languages -21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, vol.11533, pp.19-36, 2019. ,
On Reversibility and Broadcast, Reversible Computation, vol.11106, pp.67-83, 2018. ,
Causally consistent reversible choreographies, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, pp.127-138, 2017. ,
Reversible Computation in Petri Nets, Reversible Computation, pp.84-101, 2018. ,
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation, pp.218-232, 2013. ,
Reversing algebraic process calculi, J. Log. Algebraic Methods Program, vol.73, issue.1-2, pp.70-96, 2007. ,
A structural approach to operational semantics, The Journal of Logic and Algebraic Programming, vol.60-61, pp.17-139, 2004. ,
Bisimulation for Higher-Order Process Calculi, Information and Computation, vol.131, issue.2, pp.141-178, 1996. ,
URL : https://hal.archives-ouvertes.fr/inria-00074170
Models for concurrency: towards a classification, Theoretical Computer Science, vol.170, issue.1-2, pp.297-348, 1996. ,
Reversible Object-Oriented Programming with Region-Based Memory Management, Reversible Computation, vol.11106, pp.322-328, 2018. ,
Reversing Event Structures, New Generation Computing, vol.36, issue.3, pp.281-306, 2018. ,