Duality and i/o-Types in the pi-calculus - Archive ouverte HAL Access content directly
Conference Papers Year : 2012

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

(1, 2) , (1, 3, 2) , (3, 4)
1
2
3
4

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.

Dates and versions

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

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More