On the Expressiveness of Symmetric Communication

Thomas Given-Wilson 1 Axel Legay 1
1 TAMIS - Threat Analysis and Mitigation for Information Security
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Type de document :
Communication dans un congrès
Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. 9965 pp.139-157, 2016, 〈10.1007/978-3-319-46750-4_9〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01241839
Contributeur : Thomas Given-Wilson <>
Soumis le : dimanche 17 juillet 2016 - 17:54:13
Dernière modification le : jeudi 15 novembre 2018 - 11:58:54

Fichier

ICTAC_2016_paper_15_version_2....
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Thomas Given-Wilson, Axel Legay. On the Expressiveness of Symmetric Communication. Theoretical Aspects of Computing – ICTAC 2016, Oct 2016, Taipei, Taiwan. 9965 pp.139-157, 2016, 〈10.1007/978-3-319-46750-4_9〉. 〈hal-01241839v3〉

Partager

Métriques

Consultations de la notice

249

Téléchargements de fichiers

53