Encoding ℂduce in the ℂπ-calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4137 LNCS, Issue , 2006, Pages 310-326

  Castagna, Giuseppe ^a   Dezani Ciancaglini, Mariangiola ^b   Varacca, Daniele ^c  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b UNIVERSITY OF TURIN   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS; DATA REDUCTION; DIFFERENTIATION (CALCULUS); FUNCTIONS; SET THEORY;

EQUATIONAL LAWS; MILNER-TURNER ENCODING; SUBTYPING SYSTEMS; TYPING SYSTEMS;

ENCODING (SYMBOLS);

EID: 33749581739     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11817949_21     Document Type: Conference Paper

References (18)

1. L. Acciai and M. Boreale. XPi: A typed process calculus for XML messaging. In FMOODS, volume 3535 of LNCS, pages 47-66. Springer-Verlag, 2005.
2. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-friendly general purpose language. In ICFP '03, pages 51-63. ACM Press, 2003.
3. G. Boudol. Asynchrony and the π-calculus. Research Report 1702, INRIA, http://www.inria.fr/rrrt/rr-1702.html, 1992.
4. A. L. Brown, C. Laneve, and L. G. Meredith. PiDuce: A process calculus with native XML datatypes. In EPEW/WS-FM, volume 3670 of LNCS, pages 18-34. Springer-Verlag, 2005.
5. G. Castagna. Semantic subtyping: challenges, perspectives, and open problems. In ICTCS 2005, volume 3701 of LNCS, pages 1-20. Springer-Verlag, 2005.
6. G. Castagna, R. De Nicola, and D. Varacca. Semantic subtyping for the π-calculus. In LICS '05, pages 92-101. IEEE Computer Society Press, 2005.
7. G. Castagna, M. Dezani-Ciancaglini, and D. Varacca. Encoding ℂDuce in the ℂπ-calculus. Extended version, http://www.di.unito.it/~dezani/ papers/cdv.pdf, 2006.
8. G. Castagna and A. Frisch. A gentle introduction to semantic subtyping. In PPDP '05, ACM Press (full version) and ICALP '05, LNCS volume 3580, Springer-Verlag (summary), 2005. Joint ICALP-PPDP keynote talk.
9. C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A calculus of mobile agents. In CONCUR '96, volume 1119 of LNCS, pages 406-421. Springer-Verlag, 1996.
10. A. Frisch. Théorie, conception et réalisation d'un langage de programmation fonctionnel adapté à XML. PhD thesis, Université Paris 7, 2004.
11. A. Frisch, G. Castagna, and V. Benzaken. Semantic subtyping. In LICS '02, pages 137-146. IEEE Computer Society Press, 2002.
12. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Information and Computation, 173:82-120, 2002.
13. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In ECOOP 91, volume 512 of LNCS, pages 133-147. Springer-Verlag, 1991.
14. M. Metro and D. Sangiorgi. On asynchrony in name-passing calculi. In ICALP'98, volume 1443 of LNCS, pages 856-867. Springer-Verlag, 1998.
15. R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2): 119-141, 1992.
16. B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5), 1996.
17. D. Sangiorgi and D. Walker. The π-calculus. Cambridge University Press, 2002.
18. N. Yoshida, M. Berger, and K. Honda. Strong Normalisation in the π-Calculus. Information and Computation, 191(2): 145-202, 2004.