V. Danos and J. Krivine, Transactions in RCCS, Lecture Notes in Computer Science, vol.3170, pp.398-412, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00164585

I. Lanese, M. Lienhardt, C. A. Mezzina, A. Schmitt, and J. Stefani, Concurrent Flexible Reversibility, Programming Languages and Systems, vol.7792, pp.370-390, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00811629

M. Herlihy, J. Eliot, and B. E. Moss, Transactional Memory: Architectural Support For Lock-free Data Structures, Proceedings of the 20th Annual International Symposium on Computer Architecture, pp.289-300

N. Shavit and D. Touitou, Software transactional memory, Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing - PODC '95, pp.204-213, 1995.

P. J. Courtois, F. Heymans, and D. L. Parnas, Concurrent control with ?readers? and ?writers?, Communications of the ACM, vol.14, issue.10, pp.667-668, 1971.

J. Grattage, A functional quantum programming language, LICS 2005, pp.249-258, 2005.

I. Phillips, I. Ulidowski, and S. Yuen, A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway, Reversible Computation, vol.7581, pp.218-232, 2013.

C. Lutz, Janus: a time-reversible language, Letter to R. Landauer, 1986.

T. Yokoyama, H. B. Axelsen, and R. Glück, Principles of a reversible programming language, Proceedings of the 2008 conference on Computing frontiers - CF '08, pp.43-54, 2008.

I. Lanese, N. Nishida, A. Palacios, and G. Vidal, 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

E. Vries, V. Koutavas, and M. Hennessy, Communicating Transactions, CON-CUR 2010, vol.6269, pp.56-583, 2010.

L. Acciai, M. Boreale, and S. Dal-zilio, A Concurrent Calculus with Atomic Transactions, Programming Languages and Systems, vol.4421, pp.48-63, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00109264

I. Lanese, C. A. Mezzina, A. Schmitt, and J. Stefani, Controlling Reversibility in Higher-Order Pi, CONCUR 2011 ? Concurrency Theory, vol.6901, pp.297-311, 2011.

R. Guerraoui and M. Kapalka, 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.

E. Giachino, I. A. Lanese, and C. A. Mezzina, Causal-Consistent Reversible Debugging, Fundamental Approaches to Software Engineering, vol.8411, pp.370-384, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089270

E. Giachino, I. Lanese, C. A. Mezzina, and F. Tiezzi, 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

J. Gray and A. Reuter, Database and transaction processing benchmarks, ACM SIGMOD Record, vol.21, issue.2, pp.6-6, 1992.

J. E. Moss, Open Nested Transactions, Open Nested Transactions: Semantics and Support