Forward-Reverse Observational Equivalences in CCSK - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2021

Forward-Reverse Observational Equivalences in CCSK


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
Origin : Files produced by the author(s)

Dates and versions

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



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⟩
18 View
52 Download



Gmail Facebook X LinkedIn More