Duality and i/o-Types in the π-Calculus - Archive ouverte HAL
Article Dans Une Revue Lecture Notes in Computer Science Année : 2012

Duality and i/o-Types in the π-Calculus

Résumé

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 $\overline\pi$, intuitively the minimal symmetrical conservative extension of π with input/output types. We prove some duality properties for $\overline\pi$ and we study embeddings between $\overline\pi$ and π in both directions. As an example of application of the dualities, we exploit the dualities of $\overline\pi$ 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.
Fichier principal
Vignette du fichier
main.pdf (190.63 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00798028 , version 1 (07-03-2013)

Identifiants

  • HAL Id : hal-00798028 , version 1

Citer

Daniel Hirschkoff, Jean-Marie Madiot, Davide Sangiorgi. Duality and i/o-Types in the π-Calculus. Lecture Notes in Computer Science, 2012, 7454, pp 302-316. ⟨hal-00798028⟩
313 Consultations
259 Téléchargements

Partager

More