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 …

Reversible computing allows one to execute programs both in the standard, forward
direction, and backward, going back to past states. In a concurrent scenario, the correct …

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

Reversible computation is a paradigm allowing computation to proceed not only in the
usual, forward direction, but also backwards. Reversible computation has been studied in a …

Abstract Reversing Petri nets (RPNs) have recently been proposed as a net-based
approach to model causal and out-of-causal order reversibility. They are based on the …

Reversible computing is a paradigm where programs can execute backward as well as in
the usual forward direction. Reversible computing is attracting interest due to its applications …

Reversible computation has attracted increasing interest in recent years. In this paper, we
show how to model reversibility in concurrent computation as realised abstractly in terms of …

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 …

Reversible computation has attracted increasing interest in recent years, with applications in
hardware, software and biochemistry. In this paper we show how to model reversibility in …