A Pre-congruence Format for XY-simulation

Abstract : XY-simulation is a generalization of bisimulation that is parameterized with two subsets of actions. XY-simulation is known in the literature under different names such as modal refinement, partial bisimulation, and alternating simulation. In this paper, we propose a pre-congruence rule format for XY-simulation. The format allows for checking compositionality of XY-simulation for an arbitrary language with structural operational semantics, by performing very simple checks on the syntactic shape of the rules. We apply our format to derive concrete compositionality results for different notions of behavioral pre-order with respect to different process calculi in the literature.
Type de document :
Communication dans un congrès
Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.215-229, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_15〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01446602
Contributeur : Hal Ifip <>
Soumis le : jeudi 26 janvier 2017 - 10:43:33
Dernière modification le : jeudi 26 janvier 2017 - 10:57:19
Document(s) archivé(s) le : vendredi 28 avril 2017 - 06:17:37

Fichier

978-3-319-24644-4_15_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Harsh Beohar, Mohammad Mousavi. A Pre-congruence Format for XY-simulation. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.215-229, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_15〉. 〈hal-01446602〉

Partager

Métriques

Consultations de la notice

22

Téléchargements de fichiers

3