Reversible Barbed Congruence on Configuration Structures - Université Paris Cité Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Reversible Barbed Congruence on Configuration Structures

Résumé

A standard contextual equivalence for process algebras is strong barbed congruence. Configuration structures are a denotational semantics for processes in which one can 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 using a reversible process algebra and show that the relation induced by the back and forth congruence is equivalent to HHPB, providing a contextual characterization of HHPB.
Fichier principal
Vignette du fichier
1508.04852v1.pdf (252.56 Ko) Télécharger le fichier
Origine : Fichiers éditeurs autorisés sur une archive ouverte
Loading...

Dates et versions

hal-01157974 , version 1 (29-05-2015)
hal-01157974 , version 2 (02-05-2016)

Licence

Paternité

Identifiants

Citer

Clément Aubert, Ioana Cristescu. Reversible Barbed Congruence on Configuration Structures. 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. pp.68-85, ⟨10.4204/EPTCS.189.7⟩. ⟨hal-01157974v2⟩
625 Consultations
128 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More