On the Expressiveness of Intensional Communication

Thomas Given-Wilson 1
1 COMETE - Concurrency, Mobility and Transactions
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Abstract : The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism (asynchronous vs synchronous), arity (monadic vs polyadic data), communication medium (shared dataspaces vs channel-based), and pattern-matching (binding to a name vs testing name equality). Here pattern-matching is generalised to account for terms with internal structure such as in recent calculi like Spi calculi, Concurrent Pattern Calculus and Psi calculi. This paper explores intensionality upon terms, in particular communication primitives that can match upon both names and structures. By means of possibility/impossibility of encodings, this paper shows that intensionality alone can encode synchronism, arity, communication-medium, and pattern-matching, yet no combination of these without intensionality can encode any intensional language.
Type de document :
Communication dans un congrès
Johannes Borgström and Silvia Crafa. Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. Open Publishing Association, 160, pp.30-46, 2014, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.160.4〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01026301
Contributeur : Catuscia Palamidessi <>
Soumis le : mercredi 23 juillet 2014 - 20:17:09
Dernière modification le : jeudi 9 février 2017 - 15:11:45
Document(s) archivé(s) le : mardi 25 novembre 2014 - 15:26:31

Fichiers

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

Identifiants

Collections

Citation

Thomas Given-Wilson. On the Expressiveness of Intensional Communication. Johannes Borgström and Silvia Crafa. Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. Open Publishing Association, 160, pp.30-46, 2014, Electronic Proceedings in Theoretical Computer Science. 〈10.4204/EPTCS.160.4〉. 〈hal-01026301v2〉

Partager

Métriques

Consultations de
la notice

184

Téléchargements du document

92