On the Expressiveness of Coordination

Thomas Given-Wilson 1 Axel Legay 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : The expressiveness of communication primitives has been explored in a common framework based on the π-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 vs intensionality). Here another dimension coordination is considered that accounts for the number of processes required for an interaction to occur. Coordination generalises binary languages such as π-calculus to consider languages that can performing joining that combines inputs such as the Join Calculus, splitting that combines outputs; full-coordination that supports both joining and splitting. By means of possi-bility/impossibility of encodings, this paper shows the following results. Coordination is orthogonal to other features and no combination of non-coordination features can encode joining, splitting or full-coordination into a binary language. Joining and splitting can encode one another when the source language does not include name-matching or intensionality, and the target language can represent channel-based communication. Otherwise joining languages cannot encode splitting languages, and vice versa. Full-coordination cannot be encoded into either joining or splitting.
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01241647
Contributeur : Thomas Given-Wilson <>
Soumis le : jeudi 10 décembre 2015 - 17:11:52
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : vendredi 11 mars 2016 - 22:46:25

Fichier

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

Identifiants

  • HAL Id : hal-01241647, version 1

Citation

Thomas Given-Wilson, Axel Legay. On the Expressiveness of Coordination. 2015. 〈hal-01241647〉

Partager

Métriques

Consultations de la notice

418

Téléchargements de fichiers

40