Skip to Main content Skip to Navigation
Journal articles

Contextual equivalences in configuration structures and reversibility

Abstract : Contextual equivalence equate terms that have the same observable behaviour in any context. A standard contextual equivalence for CCS is the strong barbed congruence. Configuration structures are a denotational semantics for processes in which one define equivalences that are more discriminating, i.e. that distinguish the denotation of terms equated by barbed congruence. Hereditary history preserving bisimulation (HHPB) is such a relation. We define a strong back-and-forth barbed congruence on RCCS, a reversible variant of CCS. We show that the relation induced by the back-and-forth congruence on configuration structures is equivalent to HHPB, thus providing a contextual characterization of HHPB.
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Clément Aubert Connect in order to contact the contributor
Submitted on : Friday, May 13, 2016 - 4:45:26 PM
Last modification on : Friday, February 4, 2022 - 3:24:10 AM


Files produced by the author(s)


  • HAL Id : hal-01229408, version 2
  • ARXIV : 1511.05750


Clément Aubert, Ioana Cristescu. Contextual equivalences in configuration structures and reversibility. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016. ⟨hal-01229408v2⟩



Record views


Files downloads