Abstract
We present a type faithful encoding of ℂDuce into the ℂπ-calculus. These calculi are two variants of, respectively, the λ-calculus and the π-calculus, characterised by rich typing and subtyping systems with union, negation, and intersection types.
The encoding is interesting because it sheds new light on the Milner-Turner encoding, on the relations between sequential and remote execution of functions/services, and on the validity of the equational laws for union and intersection types in π-calculus.
Work partially supported by FP6-2004-510996 Coordination Action TYPES, Cofin’04 project McTafi, Tralala ACI project, EPSRC grant GR/T04724/01 “Program Analysis and the Typed Pi-Calculus”, and by an ENS visiting professorship grant for Mariangiola Dezani.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Acciai, L., Boreale, M.: XPi: A Typed Process Calculus for XML Messaging. In: Steffen, M., Zavattaro, G. (eds.) FMOODS 2005. LNCS, vol. 3535, pp. 47–66. Springer, Heidelberg (2005)
Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-friendly general purpose language. In: ICFP 2003, pp. 51–63. ACM Press, New York (2003)
Boudol, G.: Asynchrony and the π-calculus. Research Report 1702, INRIA (1992), http://www.inria.fr/rrrt/rr-1702.html
Brown, A.L., Laneve, C., Meredith, L.G.: PiDuce: A process calculus with native XML datatypes. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 18–34. Springer, Heidelberg (2005)
Castagna, G.: Semantic Subtyping: Challenges, Perspectives, and Open Problems. In: Coppo, M., Lodi, E., Pinna, G.M. (eds.) ICTCS 2005. LNCS, vol. 3701, pp. 1–20. Springer, Heidelberg (2005)
Castagna, G., De Nicola, R., Varacca, D.: Semantic subtyping for the π-calculus. In: LICS 2005, pp. 92–101. IEEE Computer Society Press, Los Alamitos (2005)
Castagna, G., Dezani-Ciancaglini, M., Varacca, D.: Encoding ℂduce in the ℂpi-calculus (Extended version) (2006), http://www.di.unito.it/~dezani/papers/cdv.pdf
Castagna, G., Frisch, A.: A Gentle Introduction to Semantic Subtyping. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 30–34. Springer(summary), Heidelberg (2005) (Joint ICALP-PPDP keynote talk)
Fournet, C., Gonthier, G., Lévy, J.-J., Maranget, L., Rémy, D.: A calculus of mobile agents. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406–421. Springer, Heidelberg (1996)
Frisch, A.: Théorie, conception et réalisation d’un langage de programmation fonctionnel adapté à XML. PhD thesis, Université Paris 7 (2004)
Frisch, A., Castagna, G., Benzaken, V.: Semantic subtyping. In: LICS 2002, pp. 137–146. IEEE Computer Society Press, Los Alamitos (2002)
Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation 173, 82–120 (2002)
Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. In: America, P. (ed.) ECOOP 1991. LNCS, vol. 512, pp. 133–147. Springer, Heidelberg (1991)
Merro, M., Sangiorgi, D.: On Asynchrony in Name-Passing Calculi. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 856–867. Springer, Heidelberg (1998)
Milner, R.: Functions as processes. Mathematical Structures in Computer Science 2(2), 119–141 (1992)
Pierce, B., Sangiorgi, D.: Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6(5) (1996)
Sangiorgi, D., Walker, D.: The π-calculus. Cambridge University Press, Cambridge (2002)
Yoshida, N., Berger, M., Honda, K.: Strong Normalisation in the π-Calculus. Information and Computation 191(2), 145–202 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Castagna, G., Dezani-Ciancaglini, M., Varacca, D. (2006). Encoding ℂDuce in the ℂπ-Calculus. In: Baier, C., Hermanns, H. (eds) CONCUR 2006 – Concurrency Theory. CONCUR 2006. Lecture Notes in Computer Science, vol 4137. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11817949_21
Download citation
DOI: https://doi.org/10.1007/11817949_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-37376-6
Online ISBN: 978-3-540-37377-3
eBook Packages: Computer ScienceComputer Science (R0)