This paper presents a new programming language, BlenX. BlenX is inspired to the process
calculus Beta-binders and it is intended for modelling any system whose basic step of …

Reversible computation has a growing number of promising application areas such as the
modelling of biochemical systems, program debugging and testing, and even programming …

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

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

We introduce a labelled transition semantics for the reversible π-calculus. It is the first
account of a compositional definition of a reversible calculus, that has both concurrency …

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 …

We present in this paper a fine-grained rollback primitive for the higher-order π-calculus (HO
π), that builds on the reversibility apparatus of reversible HO π [9]. The definition of a proper …

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 …

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 …