Implementation of a Reversible Distributed Calculus

Clément Aubert, Peter Browning. Implementation of a Reversible Distributed Calculus. In Martin Kutrib, Uwe Meyer 0003, editors, Reversible Computation - 15th International Conference, RC 2023, Giessen, Germany, July 18-19, 2023, Proceedings. Volume 13960 of Lecture Notes in Computer Science, pages 210-217, Springer, 2023. [doi]

Abstract

Abstract is missing.