Published July 7, 2021
| Version v1
Conference paper
Forward-Reverse Observational Equivalences in CCSK
- Creators
- Lanese, Ivan
- Phillips, Iain
- Others:
- Foundations of Component-based Ubiquitous Systems (FOCUS) ; Inria Sophia Antipolis - Méditerranée (CRISAM) ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Dipartimento di Informatica - Scienza e Ingegneria [Bologna] (DISI) ; Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)-Alma Mater Studiorum Università di Bologna [Bologna] (UNIBO)
- Department of Computing [Imperial College London] ; Imperial College London
- ANR-18-CE25-0007,DCore,Debogage causal pour systèmes concurrents(2018)
Description
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.
Abstract
International audience
Additional details
- URL
- https://hal.inria.fr/hal-03338669
- URN
- urn:oai:HAL:hal-03338669v1
- Origin repository
- UNICA