Marco Bernardo 0001, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen. Causal Reversibility Implies Time Reversibility. In Nils Jansen 0001, Mirco Tribastone, editors, Quantitative Evaluation of Systems - 20th International Conference, QEST 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings. Volume 14287 of Lecture Notes in Computer Science, pages 270-287, Springer, 2023. [doi]
Abstract is missing.