Forward-Reverse Observational Equivalences in CCSK - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2021

Forward-Reverse Observational Equivalences in CCSK

Résumé

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 forward-reverse bisimilarity and show that it coincides with a notion of forward-reverse barbed congruence. We also show a set of sound axioms allowing one to reason equationally on process equivalences.
Fichier principal
Vignette du fichier
main.pdf (340.08 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03338669 , version 1 (09-09-2021)

Identifiants

Citer

Ivan Lanese, Iain Phillips. Forward-Reverse Observational Equivalences in CCSK. RC 2021 - 13th Conference on Reversible Computation, Jul 2021, Nagoya, Japan. pp.126 - 143, ⟨10.1007/978-3-030-79837-6_8⟩. ⟨hal-03338669⟩
20 Consultations
59 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More