Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures

Nataliya Gribovskaya, Irina Virbitskaite

Reversible computing is a new paradigm that has emerged recently and extends the traditional forwards-only computing mode with the ability to execute in backwards, so that computat…