Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

On the Expressiveness of Symmetric Communication

Thomas Given-Wilson 1 Axel Legay 1 
1 TAMIS - Threat Analysis and Mitigation for Information Security
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 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [33 references]  Display  Hide  Download
Contributor : Thomas Given-Wilson Connect in order to contact the contributor
Submitted on : Sunday, July 17, 2016 - 5:54:13 PM
Last modification on : Saturday, June 25, 2022 - 8:29:27 PM


Files produced by the author(s)



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⟩



Record views


Files downloads