Skip to Main content Skip to Navigation
Conference papers

Forward-Reverse Observational Equivalences in CCSK

Ivan Lanese 1 Iain Phillips 2 
1 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : 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.
Complete list of metadata

https://hal.inria.fr/hal-03338669
Contributor : Ivan Lanese Connect in order to contact the contributor
Submitted on : Thursday, September 9, 2021 - 12:01:42 AM
Last modification on : Friday, January 21, 2022 - 3:22:56 AM
Long-term archiving on: : Friday, December 10, 2021 - 6:09:49 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

11

Files downloads

37