Name-passing calculi: from fusions to preorders and types

Daniel Hirschkoff 1, 2 Jean-Marie Madiot 1, 2, * Davide Sangiorgi 2, 3
* Auteur correspondant
2 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : The fusion calculi are a simplification of the pi-calculus in which input and output are symmetric and restriction is the only binder. We highlight a major difference between these calculi and the pi-calculus from the point of view of types, proving some impossibility results for subtyping in fusion calculi. We propose a modification of fusion calculi in which the name equivalences produced by fusions are replaced by name preorders, and with a distinction between positive and negative occurrences of names. The resulting calculus allows us to import subtype systems, and related results, from the pi-calculus. We examine the consequences of the modification on behavioural equivalence (e.g., context-free characterisations of barbed congruence) and expressiveness (e.g., full abstraction of the embedding of the asynchronous pi-calculus).
Type de document :
Communication dans un congrès
LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. IEEE, pp.378-387, 2013, LICS. 〈10.1109/LICS.2013.44〉
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-00904138
Contributeur : Jean-Marie Madiot <>
Soumis le : vendredi 22 novembre 2013 - 10:37:56
Dernière modification le : vendredi 20 avril 2018 - 15:44:24
Document(s) archivé(s) le : dimanche 23 février 2014 - 03:05:18

Fichier

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

Identifiants

Collections

Citation

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Name-passing calculi: from fusions to preorders and types. LICS - 28th Annual ACM/IEEE Symposium on Logic in Computer Science - 2013, 2013, New Orleans, United States. IEEE, pp.378-387, 2013, LICS. 〈10.1109/LICS.2013.44〉. 〈hal-00904138〉

Partager

Métriques

Consultations de la notice

458

Téléchargements de fichiers

108