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 …

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 …

In the context of CCSK, a reversible extension of CCS, we study observational equivalences
that distinguish forward moves from backward ones. We present a refinement of the notion of …

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 …

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 …

We propose an interpretation of multiparty sessions with asynchronous communication as
Flow Event Structures. We introduce a new notion of asynchronous type for such sessions …

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 …

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 CCS (RCCS) is a well-established, formal model for reversible communicating
systems, which has been built on top of the classical Calculus of Communicating Systems …

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 …