2 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…