On the Expressiveness of Intensional Communication - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

On the Expressiveness of Intensional Communication

Thomas Given-Wilson
  • Fonction : Auteur
  • PersonId : 955938

Résumé

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.
Fichier principal
Vignette du fichier
primitives.pdf (200.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01026301 , version 1 (21-07-2014)
hal-01026301 , version 2 (23-07-2014)

Identifiants

Citer

Thomas Given-Wilson. On the Expressiveness of Intensional Communication. Combined 21th International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, Sep 2014, Rome, Italy. pp.30-46, ⟨10.4204/EPTCS.160.4⟩. ⟨hal-01026301v2⟩
250 Consultations
156 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More