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…