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.
Type de document :
Article dans une revue
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016
Liste complète des métadonnées

Littérature citée [33 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01229408
Contributeur : Clément Aubert <>
Soumis le : vendredi 13 mai 2016 - 16:45:26
Dernière modification le : mardi 11 octobre 2016 - 13:58:07

Fichiers

contextual_equivalences.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

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

Collections

Citation

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

Partager

Métriques

Consultations de la notice

246

Téléchargements de fichiers

124