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 …

Petri nets are a well-known model of concurrency and provide an ideal setting for the study
of fundamental aspects in concurrent systems. Despite their simplicity, they still lack a …

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 …

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 …

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 …

We introduce a method of reversing the execution of imperative concurrent programs. Given
an irreversible program, we describe the process of producing two versions. The first …

In this chapter we give an overview of techniques for the modelling and reasoning about
reversibility of systems, including outof-causal-order reversibility, as it appears in chemical …