Contextual equivalences in configuration structures and reversibility - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2015

Contextual equivalences in configuration structures and reversibility

Résumé

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.
Fichier principal
Vignette du fichier
2015_11_16_standalone.pdf (635.5 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01229408 , version 1 (16-11-2015)
hal-01229408 , version 2 (13-05-2016)

Identifiants

Citer

Clément Aubert, Ioana Cristescu. Contextual equivalences in configuration structures and reversibility. 2015. ⟨hal-01229408v1⟩
333 Consultations
218 Téléchargements

Altmetric

Partager

More