Few books comprehensively cover the software and programming aspects of reversible
computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of …

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

In a reversible language, any forward computation can be undone by a finite sequence of
backward steps. Reversible computing has been studied in the context of different …

Reversible debugging provides developers with a way to execute their applications both
forward and backward, seeking the cause of an unexpected or undesired event. In a …

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 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 …

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 …

The notion of reversible computation is attracting increasing interest because of its
applications in diverse fields, in particular the study of programming abstractions for reliable …

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

Concurrent reversibility has been studied in different areas, such as biological or
dependable distributed systems. However, only “rigid” reversibility has been considered …