History-Preserving Bisimulations on Reversible Calculus of Communicating Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2018

History-Preserving Bisimulations on Reversible Calculus of Communicating Systems

Clément Aubert

Résumé

History-and hereditary history-preserving bisimulation (HPB and HHPB) are equivalences relations for denotational models of concurrency. Finding their counterpart in process algebras is an open problem, with some partial successes: there exists in calculus of communicating systems (CCS) an equivalence based on causal trees that corresponds to HPB. In Reversible CSS (RCCS), there is a bisimulation that corresponds to HHPB, but it considers only processes without auto-concurrency. We propose equivalences on CCS with auto-concurrency that correspond to HPB and HHPB, and their so-called " weak " variants. The equivalences exploit not only reversibility but also the memory mechanism of RCCS.
Fichier principal
Vignette du fichier
History-Preserving_Bisimulations_on_RCCS.pdf (338.46 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01778656 , version 1 (26-04-2018)
hal-01778656 , version 2 (12-02-2019)

Identifiants

Citer

Clément Aubert, Ioana Cristescu. History-Preserving Bisimulations on Reversible Calculus of Communicating Systems. 2018. ⟨hal-01778656v1⟩
334 Consultations
186 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More