Transactions in RCCS, Lecture Notes in Computer Science, vol.3170, pp.398-412, 2005. ,
URL : https://hal.archives-ouvertes.fr/hal-00164585
Concurrent Flexible Reversibility, Programming Languages and Systems, vol.7792, pp.370-390, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00811629
Transactional Memory: Architectural Support For Lock-free Data Structures, Proceedings of the 20th Annual International Symposium on Computer Architecture, pp.289-300 ,
Software transactional memory, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95, pp.204-213, 1995. ,
Concurrent control with ?readers? and ?writers?, Communications of the ACM, vol.14, issue.10, pp.667-668, 1971. ,
A functional quantum programming language, LICS 2005, pp.249-258, 2005. ,
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation, vol.7581, pp.218-232, 2013. ,
Janus: a time-reversible language, Letter to R. Landauer, 1986. ,
Principles of a reversible programming language, Proceedings of the 2008 conference on Computing frontiers - CF '08, pp.43-54, 2008. ,
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
Communicating Transactions, CON-CUR 2010, vol.6269, pp.56-583, 2010. ,
A Concurrent Calculus with Atomic Transactions, Programming Languages and Systems, vol.4421, pp.48-63, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00109264
Controlling Reversibility in Higher-Order Pi, CONCUR 2011 ? Concurrency Theory, vol.6901, pp.297-311, 2011. ,
On the correctness of transactional memory, Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming - PPoPP '08, pp.175-184, 2008. ,
Causal-Consistent Reversible Debugging, Fundamental Approaches to Software Engineering, vol.8411, 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
Database and transaction processing benchmarks, ACM SIGMOD Record, vol.21, issue.2, pp.6-6, 1992. ,
Open Nested Transactions, Open Nested Transactions: Semantics and Support ,