A Behavioural Theory for a π-calculus with Preorders

Daniel Hirschkoff 1 Jean-Marie Madiot 1, 2 Xian Xu 3
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : We study the behavioural theory of πP, a π-calculus in the tradition of Fusions and Chi calculi. In contrast with such calculi, reduction in πP generates a preorder on names rather than an equivalence relation. We present two characterisations of barbed congruence in πP: the first is based on a compositional LTS, and the second is an axiomatisation. The results in this paper bring out basic properties of πP, mostly related to the interplay between the restriction operator and the preorder on names.Consequently, πP is a calculus in the tradition of Fusion calculi, in which both types and behavioural equivalences can be exploited in order to reason rigorously about concurrent and mobile systems.
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.143-158, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_10〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01246094
Contributeur : Hal Ifip <>
Soumis le : jeudi 26 janvier 2017 - 10:43:16
Dernière modification le : vendredi 20 avril 2018 - 15:44:25

Fichier

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

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A Behavioural Theory for a π-calculus with Preorders. Mehdi Dastani; Marjan Sirjani. 6th Fundamentals of Software Engineering (FSEN), Apr 2015, Tehran, Iran. Springer, Lecture Notes in Computer Science, LNCS-9392, pp.143-158, 2015, Fundamentals of Software Engineering. 〈10.1007/978-3-319-24644-4_10〉. 〈hal-01246094v2〉

Partager

Métriques

Consultations de la notice

157

Téléchargements de fichiers

12