On the Expressiveness of Symmetric 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 : 2016

On the Expressiveness of Symmetric Communication

Résumé

The expressiveness of communication primitives has been explored in a common framework based on the pi-calculus by considering four features: synchronism, arity, communication medium, and pattern-matching. These all assume asymmetric communication between input and output primitives, however some calculi consider more symmetric approaches to communication such as fusion calculus and Concurrent Pattern Calculus. Symmetry can be considered either as supporting exchange of information between an action and co-action, or as unification of actions. By means of possibility/impossibility of encodings, this paper shows that the exchange approach is related to, or more expressive than, many previously considered languages. Meanwhile, the unification approach is more expressive than some, but mostly unrelated to, other languages.
Fichier principal
Vignette du fichier
ICTAC_2016_paper_15_version_2.pdf (191.44 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01241839 , version 1 (11-12-2015)
hal-01241839 , version 2 (11-07-2016)
hal-01241839 , version 3 (17-07-2016)

Identifiants

Citer

Thomas Given-Wilson, Axel Legay. On the Expressiveness of Symmetric Communication. Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. pp.139-157, ⟨10.1007/978-3-319-46750-4_9⟩. ⟨hal-01241839v3⟩
226 Consultations
202 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More