Reversible Occurrence Nets and Causal Reversible Prime Event Structures

HernĂ¡n C. Melgratti, Claudio Antares Mezzina, Iain Phillips 0001, G. Michele Pinna, Irek Ulidowski. Reversible Occurrence Nets and Causal Reversible Prime Event Structures. In Ivan Lanese, Mariusz Rawski, editors, Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Volume 12227 of Lecture Notes in Computer Science, pages 35-53, Springer, 2020. [doi]

Abstract

Abstract is missing.