Reversible computation has a growing number of promising application areas such as the
modelling of biochemical systems, program debugging and testing, and even programming …

We introduce a reversible process calculus with a new feature of execution control that
allows us to change the direction and pattern of computation. This feature allows us to model …

We introduce a labelled transition semantics for the reversible π-calculus. It is the first
account of a compositional definition of a reversible calculus, that has both concurrency …

Undoing computations of a concurrent system is beneficial in many situations, eg, in
reversible debugging of multi-threaded programs and in recovery from errors due to …

Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to
define operational semantics of programming languages by a set of rules of a certain shape …

Reversible computation is an unconventional form of computing where any executed
sequence of operations can be executed in reverse at any point during computation. In this …

There is a growing interest in models of reversible computation driven by exciting
application areas such as bio-systems and quantum computing. Reversible process …

Undoing computations of a concurrent system is beneficial in many situations, such as in
reversible debugging of multi-threaded programs and in recovery from errors due to …

We introduce a process calculus with a new prefixing operator that allows us to model
locally controlled reversibility. Actions can be undone spontaneously, as in other reversible …