Reversible Barbed Congruence on Configuration Structures

Abstract : 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.
Liste complète des métadonnées

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01157974
Contributor : Clément Aubert <>
Submitted on : Monday, May 2, 2016 - 5:42:37 PM
Last modification on : Friday, January 4, 2019 - 5:32:59 PM

File

1508.04852v1.pdf
Publisher files allowed on an open archive

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

889

Files downloads

122