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 …

The reliability of concurrent and distributed systems often depends on some well-known
techniques for fault tolerance. One such technique is based on checkpointing and rollback …

One of the well-known results in concurrency theory concerns the relationship between
event structures and occurrence nets: an occurrence net can be associated with a prime …

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 …

Non-determinism in a concurrent or distributed setting may lead to many different runs or
executions of a program. This paper presents a method to reproduce a specific run for non …

Reversible prime event structures extend the well-known model of prime event structures to
represent reversible computational processes. Essentially, they give abstract descriptions of …

Causal-consistent reversible debugging allows one to explore concurrent computations
back and forth in order to locate the source of an error. In this setting, backward steps can be …

Regression testing is indispensable, especially for real-time distributed systems to ensure
that existing functionalities are not affected by changes. Despite recent advances …

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 …

Software plays a central role in all aspects of reversible computing. We survey the breadth of
topics and recent activities on reversible software and systems including behavioural types …