Introducing Time Passage to the Reversible Semantics for Erlang

Yuna Sadamoto, Shoji Yuen, Claudio Antares Mezzina. Introducing Time Passage to the Reversible Semantics for Erlang. In Clément Aubert, Luca Roversi, editors, Reversible Computation - 18th International Conference, RC 2026, Turin, Italy, July 9-10, 2026, Proceedings. Volume 16626 of Lecture Notes in Computer Science, pages 285-292, Springer, 2026. [doi]

Abstract

Abstract is missing.