Marco Bernardo 0001, Claudio Antares Mezzina. Reversibility in Process Calculi with Nondeterminism and Probabilities. In Chutiporn Anutariya, Marcello M. Bonsangue, editors, Theoretical Aspects of Computing - ICTAC 2024 - 21st International Colloquium, Bangkok, Thailand, November 25-29, 2024, Proceedings. Volume 15373 of Lecture Notes in Computer Science, pages 251-271, Springer, 2024. [doi]
Abstract is missing.