Duality and i/o-Types in the π-Calculus - Archive ouverte HAL Accéder directement au contenu
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⟩
297 Consultations
215 Téléchargements

Partager

Gmail Facebook X LinkedIn More