Barbed Semantics for Open Reactive Systems

Abstract : Reactive systems (RSs) represent a meta-framework aimed at deriving labelled transition systems from unlabelled ones such that the induced bisimilarity is a congruence. Such a property is desirable, since it allows one to replace a subsystem with an equivalent one without changing the behaviour of the overall system. One of the main drawback of RSs is the restriction to the analysis of ground (i.e., completely specified) systems. Only recently the theory was extended to consider open systems (and rules) and an associated strong bisimulation equivalence. However, the resulting bisimilarity adopted for the formalism turns out to be a congruence only under very restrictive conditions, hindering the applicability of the framework. In this paper we suggest to consider (strong and weak) barbed equivalence as an alternative for open RSs. After proving that it is always a congruence, we instantiate our proposal by addressing the semantics of Asynchronous CCS and of Mobile Ambients.
Type de document :
Communication dans un congrès
Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.161-177, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_10〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01485968
Contributeur : Hal Ifip <>
Soumis le : jeudi 9 mars 2017 - 15:33:22
Dernière modification le : jeudi 9 mars 2017 - 15:36:07
Document(s) archivé(s) le : samedi 10 juin 2017 - 14:46:28

Fichier

978-3-642-37635-1_10_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Fabio Gadducci, Giacoma Monreale. Barbed Semantics for Open Reactive Systems. Narciso Martí-Oliet; Miguel Palomino. 21th InternationalWorkshop on Algebraic Development Techniques (WADT), Jun 2012, Salamanca, Spain. Springer, Lecture Notes in Computer Science, LNCS-7841, pp.161-177, 2013, Recent Trends in Algebraic Development Techniques. 〈10.1007/978-3-642-37635-1_10〉. 〈hal-01485968〉

Partager

Métriques

Consultations de la notice

60

Téléchargements de fichiers

12