Duality and i/o-Types in the pi-calculus - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

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


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.

Dates and versions

hal-00909375 , version 1 (26-11-2013)



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⟩
111 View
0 Download



Gmail Facebook X LinkedIn More