Martin Vassor, Jean-Bernard Stefani. Checkpoint/Rollback vs Causally-Consistent Reversibility. In Jarkko Kari, Irek Ulidowski, editors, Reversible Computation - 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings. Volume 11106 of Lecture Notes in Computer Science, pages 286-303, Springer, 2018. [doi]
Abstract is missing.