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

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.
Type de document :
Communication dans un congrès
Maciej Koutny and Irek Ulidowski. 23rd International Conference on Concurrency Theory (CONCUR 2012), 2012, Newcastle upon Tyne, United Kingdom. Springer, 7454, pp.302--316, 2012, CONCUR 2012 - Concurrency Theory. 〈10.1007/978-3-642-32940-1_22〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00909375
Contributeur : Davide Sangiogi <>
Soumis le : mardi 26 novembre 2013 - 11:08:19
Dernière modification le : vendredi 20 avril 2018 - 15:44:24

Lien texte intégral

Identifiants

Collections

Citation

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

Partager

Métriques

Consultations de la notice

162