Towards a truly concurrent semantics for reversible CCS - Archive ouverte HAL Access content directly
Conference Papers Year : 2021

Towards a truly concurrent semantics for reversible CCS


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 (CCS). In its original formulation, each CCS process is equipped with a memory that records its performed actions, which is then used to reverse computations. More recently, abstract models for RCCS have been proposed in the literature, basically, by directly associating RCCS processes with (reversible versions of) event structures. In this paper we propose a detour: starting from one of the well-known encoding of CCS into Petri nets we apply a recently proposed approach to incorporate causally-consistent reversibility to Petri nets, obtaining as result the (reversible) net counterpart of every RCCS term.
Fichier principal
Vignette du fichier
paper_16.pdf (415.11 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03242858 , version 1 (31-05-2021)


  • HAL Id : hal-03242858 , version 1


Hernán Melgratti, Claudio Antares Mezzina, G Michele Pinna. Towards a truly concurrent semantics for reversible CCS. 13th Conference on Reversible Computation, Jul 2021, Kyoto, Japan. ⟨hal-03242858⟩
44 View
66 Download


Gmail Facebook X LinkedIn More