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.
Type de document :
Communication dans un congrès
S. Knight, I. Lanese, A. Lluch Lafuente and H. T. Vieira. 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. 189, pp.68-85, 2015, EPTCS Proceedings ICE 2015. 〈http://discotec2015.inria.fr/workshops/ice-2015/〉. 〈10.4204/EPTCS.189.7〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01157974
Contributeur : Clément Aubert <>
Soumis le : lundi 2 mai 2016 - 17:42:37
Dernière modification le : mardi 13 décembre 2016 - 15:42:04

Fichier

1508.04852v1.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Collections

Citation

Clément Aubert, Ioana Cristescu. Reversible Barbed Congruence on Configuration Structures. S. Knight, I. Lanese, A. Lluch Lafuente and H. T. Vieira. 8th Interaction and Concurrency Experience (ICE 2015) Satellite workshop of DisCoTec 2015, Jun 2015, Grenoble, France. 189, pp.68-85, 2015, EPTCS Proceedings ICE 2015. 〈http://discotec2015.inria.fr/workshops/ice-2015/〉. 〈10.4204/EPTCS.189.7〉. 〈hal-01157974v2〉

Partager

Métriques

Consultations de la notice

283

Téléchargements de fichiers

64