Programming languages based on the actor model, such as Erlang, avoid some
concurrency bugs by design. However, other concurrency bugs, such as message order …

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 …

Debugging of concurrent systems is a tedious and error-prone activity. A main issue is that
there is no guarantee that a bug that appears in the original computation is replayed inside …

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

The notion of reversible computing is attracting interest because of its applications in diverse
fields, in particular the study of programming abstractions for fault tolerant systems. Most …

CCSK is a reversible form of CCS which is causal, meaning that actions can be reversed if
and only if each action caused by them has already been reversed; there is no control on …

Causal-consistent reversible debugging is an innovative technique for debugging
concurrent systems. It allows one to go back in the execution focusing on the actions that …

This paper analyzes the relationship between a distributed checkpoint/rollback scheme
based on causal logging, called Manetho, and a reversible concurrent model of …

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 …

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 …