A Truly Concurrent Semantics for Reversible CCS

• Autores: Melgratti, Hernan Claudio; Mezzina, Claudio Antares; Pinna, G. Michele
• Año de publicación: 2024
• Idioma: inglés
• Tipo de recurso: artículo
• Materia: Reversibility; CCS; Petri nets
• Institución: Consejo Nacional de Investigaciones Científicas y Técnicas

Reversible CCS (RCCS) is a well-established, formal model for reversible com- municating 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, essentialy, by directly associating RCCS processes with (reversible versions of) event structures. In this paper we propose a different abstract model: 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.
Fil: Melgratti, Hernan Claudio. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina
Fil: Mezzina, Claudio Antares. Università degli Studi di Cagliari; Italia
Fil: Pinna, G. Michele. Università degli Studi di Cagliari; Italia