Duality and i/o-Types in the pi-calculus

Daniel Hirschkoff 1, 2 Jean-Marie Madiot 1, 3, 2 Davide Sangiorgi 3, 4
2 PLUME - Preuves et Langages
LIP - Laboratoire de l'Informatique du Parallélisme
3 FOCUS - Foundations of Component-based Ubiquitous Systems
CRISAM - Inria Sophia Antipolis - Méditerranée , DISI - Dipartimento di Informatica - Scienza e Ingegneria [Bologna]
Abstract : We study duality between input and output in the π-calculus. In dualisable versions of π, including πI and fusions, duality breaks with the addition of ordinary input/output types. We introduce π⎯⎯ , intuitively the minimal symmetrical conservative extension of π with input/output types. We prove some duality properties for π⎯⎯ and we study embeddings between π⎯⎯ and π in both directions. As an example of application of the dualities, we exploit the dualities of π⎯⎯ and its theory to relate two encodings of call-by-name λ-calculus, by Milner and by van Bakel and Vigliotti, syntactically quite different from each other.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/hal-00909375
Contributor : Davide Sangiogi <>
Submitted on : Tuesday, November 26, 2013 - 11:08:19 AM
Last modification on : Tuesday, October 23, 2018 - 12:51:29 PM

Links full text

Identifiers

Collections

Citation

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the pi-calculus. 23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Newcastle upon Tyne, United Kingdom. pp.302--316, ⟨10.1007/978-3-642-32940-1_22⟩. ⟨hal-00909375⟩

Share

Metrics

Record views

217