Advertisement

Encoding ℂDuce in the ℂπ-Calculus

  • Giuseppe Castagna
  • Mariangiola Dezani-Ciancaglini
  • Daniele Varacca
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4137)

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.

Keywords

Intersection Type Pattern Match Type Constructor Reduction Semantic Return Channel 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)CrossRefGoogle Scholar
  2. 2.
    Benzaken, V., Castagna, G., Frisch, A.: CDuce: an XML-friendly general purpose language. In: ICFP 2003, pp. 51–63. ACM Press, New York (2003)CrossRefGoogle Scholar
  3. 3.
    Boudol, G.: Asynchrony and the π-calculus. Research Report 1702, INRIA (1992), http://www.inria.fr/rrrt/rr-1702.html
  4. 4.
    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)CrossRefGoogle Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Frisch, A.: Théorie, conception et réalisation d’un langage de programmation fonctionnel adapté à XML. PhD thesis, Université Paris 7 (2004)Google Scholar
  11. 11.
    Frisch, A., Castagna, G., Benzaken, V.: Semantic subtyping. In: LICS 2002, pp. 137–146. IEEE Computer Society Press, Los Alamitos (2002)Google Scholar
  12. 12.
    Hennessy, M., Riely, J.: Resource access control in systems of mobile agents. Information and Computation 173, 82–120 (2002)CrossRefMathSciNetMATHGoogle Scholar
  13. 13.
    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)CrossRefGoogle Scholar
  14. 14.
    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)CrossRefGoogle Scholar
  15. 15.
    Milner, R.: Functions as processes. Mathematical Structures in Computer Science 2(2), 119–141 (1992)CrossRefMathSciNetMATHGoogle Scholar
  16. 16.
    Pierce, B., Sangiorgi, D.: Typing and subtyping for mobile processes. Mathematical Structures in Computer Science 6(5) (1996)Google Scholar
  17. 17.
    Sangiorgi, D., Walker, D.: The π-calculus. Cambridge University Press, Cambridge (2002)Google Scholar
  18. 18.
    Yoshida, N., Berger, M., Honda, K.: Strong Normalisation in the π-Calculus. Information and Computation 191(2), 145–202 (2004)CrossRefMathSciNetMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Giuseppe Castagna
    • 1
  • Mariangiola Dezani-Ciancaglini
    • 2
  • Daniele Varacca
    • 3
  1. 1.École Normale Supérieure de Paris 
  2. 2.Universitá di Torino 
  3. 3.Imperial College London 

Personalised recommendations