Hernán Melgratti ; Claudio Antares Mezzina ; G. Michele Pinna - A Truly Concurrent Semantics for Reversible CCS

lmcs:12332 - Logical Methods in Computer Science, December 3, 2024, Volume 20, Issue 4 - https://doi.org/10.46298/lmcs-20(4:20)2024
A Truly Concurrent Semantics for Reversible CCSArticle

Authors: Hernán Melgratti ; Claudio Antares Mezzina ; G. Michele Pinna

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


    Volume: Volume 20, Issue 4
    Published on: December 3, 2024
    Accepted on: August 27, 2024
    Submitted on: September 26, 2023
    Keywords: Computer Science - Logic in Computer Science,Computer Science - Information Theory

    Consultation statistics

    This page has been seen 220 times.
    This article's PDF has been downloaded 70 times.