Reversing computations modelled by coloured Petri nets, CEUR-WS.org, vol.2115, pp.91-111, 2018. ,
Reversible computation vs. reversibility in Petri nets, Sci. Comput. Program, vol.151, pp.48-60, 2018. ,
Exponential space complete problems for Petri nets and commutative semigroups (preliminary report), Proceedings of STOC, pp.50-54, 1976. ,
A compositional semantics for the reversible ?-calculus, Symposium on Logic in Computer Science, LICS, pp.388-397, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00840156
Rigid families for CCS and the ?-calculus, ICTAC 2015, vol.9399, pp.223-240, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01189062
Reversible communicating systems, CONCUR 2004 -Concurrency Theory, vol.3170, pp.292-307, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00784051
Transactions in RCCS, CONCUR 2005, vol.3653, pp.398-412, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00164585
Causal-consistent reversible debugging, FASE 2014, vol.8411, pp.370-384, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01089270
Event structure semantics of (controlled) reversible CCS, Reversible Computation, vol.11106, pp.102-122, 2018. ,
The unfolding of general Petri nets, FSTTCS. LIPIcs, vol.2, pp.223-234, 2008. ,
Reversing imperative parallel programs with blocks and procedures, Proceedings of EXPRESS/SOS, 2018. ,
A calculus for local reversibility, Reversible Computation, RC 2016, vol.9720, pp.20-35, 2016. ,
Concurrent flexible reversibility, ESOP 2013, vol.7792, pp.370-390, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00811629
Reversibility in the higher-order ?-calculus, Theor. Comput. Sci, vol.625, pp.25-84, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01303090
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, LNCS, vol.10818, pp.247-263, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01912894
A formal approach to undo operations in programming languages, ACM Trans. Program. Lang. Syst, vol.8, issue.1, pp.50-87, 1986. ,
An algebraic interpretation of the ??K-calculus; and an application of a labelled ?-calculus, Theor. Comput. Sci, vol.2, issue.1, pp.97-114, 1976. ,
A parametric framework for reversible ?-calculi, Proceedings of EXPRESS/SOS. EPTCS, vol.276, pp.87-103, 2018. ,
Petri nets, event structures and domains, part I. Theor, Comput. Sci, vol.13, issue.81, pp.90112-90114, 1981. ,
Reversible computation in Petri nets, Reversible Computation, vol.11106, pp.84-101, 2018. ,
Reversibility and models for concurrency, Proceedings of SOS 2007. ENTCS, vol.192, pp.93-108, 2007. ,
Reversing algebraic process calculi, J. Log. Algebr. Program, vol.73, issue.1-2, pp.70-96, 2007. ,
Reversibility and asymmetric conflict in event structures, J. Log. Algebr. Meth. Program, vol.84, issue.6, pp.781-805, 2015. ,
,
A reversible process calculus and the modelling of the ERK signalling pathway, Reversible Computation, vol.7581, pp.218-232, 2013. ,
Reversing steps in membrane systems computations, Membrane Computing, CMC 2017, vol.10725, pp.245-261, 2017. ,
Generation of reversible C++ code for optimistic parallel discrete event simulation. New Generation Comput, vol.36, pp.257-280, 2018. ,
Reversing event structures, New Generation Comput, vol.36, issue.3, pp.281-306, 2018. ,
Checkpoint/rollback vs causally-consistent reversibility, Reversible Computation, vol.11106, pp.286-303, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01953756
Synthesis of Quantum Circuits vs. Synthesis of Classical Reversible Circuits, Synthesis Lectures on Digital Circuits and Systems, 2018. ,
,