3 papers
cs.LO2026
On the Encodability of Reversible Process Calculi
Ivan Lanese, Claudio Antares Mezzina, Iain Phillips +2
Reversibility, allowing one to execute a program not only forwards as usual, but also backwards, has emerged as a fundamental concept in computing, with applications ranging from d…
cs.LO2024
Dependence and Independence for Reversible Process Calculi
Clément Aubert, Iain Phillips, Irek Ulidowski
To refine formal methods for concurrent systems, there are several ways of enriching classical operational semantics of process calculi. One can enable the auditing and undoing of…
cs.LO2024
An Axiomatic Theory for Reversible Computation
Ivan Lanese, Iain Phillips, Irek Ulidowski
Undoing computations of a concurrent system is beneficial in many situations, e.g., in reversible debugging of multi-threaded programs and in recovery from errors due to optimistic…