A behavioural theory for a π-calculus with preorders

Daniel Hirschkoff 1, 2 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]
3 BASICS
East China University of Science and Technology
Abstract : We study the behavioural theory of piP, a pi-calculus featuring restriction as the only binder. In contrast with calculi such as Fusions and Chi, reduction in piP generates a preorder on names rather than an equivalence relation. We present two characterisations of barbed congruence in piP: the fi rst is based on a compositional LTS, and the second is an axiomatisation. The results in this paper bring out basic properties of piP, mostly related to the interplay between the restriction operator and the preorder on names
Type de document :
Pré-publication, Document de travail
This paper obtained the best paper award at the conference FSEN'2015. A revised version of this paper has been published in JLAMP (Journal of Logical and Algebraic Methods in Programming), Volume 84, Issue 6, November 2015, Pages 806–825. 2014
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-00949521
Contributeur : Daniel Hirschkoff <>
Soumis le : vendredi 21 février 2014 - 15:46:01
Dernière modification le : mercredi 9 mars 2016 - 20:46:20
Document(s) archivé(s) le : mercredi 21 mai 2014 - 10:42:07

Fichier

longpip.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Domaine public

Identifiants

  • HAL Id : hal-00949521, version 1

Collections

Citation

Daniel Hirschkoff, Jean-Marie Madiot, Xian Xu. A behavioural theory for a π-calculus with preorders. This paper obtained the best paper award at the conference FSEN'2015. A revised version of this paper has been published in JLAMP (Journal of Logical and Algebraic Methods in Programming), Volume 84, Issue 6, November 2015, Pages 806–825. 2014. 〈hal-00949521〉

Partager

Métriques

Consultations de
la notice

369

Téléchargements du document

125