Semantic subtyping for the π-calculus

Proceedings - Symposium on Logic in Computer Science

Volumn , Issue , 2005, Pages 92-101

  Castagna, Giuseppe ^a   De Nicola, Rocco ^b   Varacca, Daniele ^c  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b UNIVERSITY OF FLORENCE   (Italy)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SET-THEORETIC OPERATIONS; STRUCTURAL RULES; SUBTYPING ALGORITHMS; SUBTYPING RELATION;

ALGORITHMS; BOOLEAN ALGEBRA; CHARACTERIZATION; INFORMATION THEORY; MATHEMATICAL OPERATORS; PATTERN MATCHING; SET THEORY; SYNTACTICS;

SEMANTICS;

EID: 26844473471     PISSN: 10436871     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/LICS.2005.46     Document Type: Conference Paper

References (14)

1. L. Acciai and M. Boreale. XPi: a typed process calculus for XML messaging. In Proc. of 7th FMOODS, to appear, 2005.
2. V. Benzaken, G. Castagna, and A. Frisch. CDuce: an XML-friendly general purpose language. In Proceedings of 8th ICFP, pages 51-63, 2003. ACM Press.
3. G. Boudol. Asynchrony and the π-calculus. Research Report 1702, INRIA, http://www.inria.fr/rrrt/rr-1702.html, 1992.
4. A. Brown, C. Laneve, and G. Meredith, πduce: a process calculus with native XML datatypes. Unpublished, 2004.
5. R. De Nicola, G. Ferrari, and R. Pugliese. KLAIM: A kernel language for agents interaction and mobility. IEEE Transaction on Software Engineering, 24(5):315-330, 1998.
6. A. Frisch. Théorie, conception et réalisation d'un langage de programmation fonctionnel adapté àXML. PhD thesis, Université Paris 7, 2004.
7. A. Frisch, G. Castagna, and V. Benzaken. Semantic Subtyping. In Proceedings of 17th LICS, pages 137-146. IEEE Computer Society Press, 2002.
8. M. Hennessy and J. Riely. Resource access control in systems of mobile agents. Information and Computation, 173:82-120, 2002.
9. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proceedings of ECOOP 91, volume 512 of LNCS, pages 133-147. Springer, 1991.
10. M. Merro. Locality in the π-calculus and applications to distributed objects. PhD thesis, Ecole des Mines de Paris, 2000.
11. B. Pierce and D. Sangiorgi. Typing and subtyping for mobile processes. Mathematical Structures in Computer Science, 6(5), 1996.
12. D. Sangiorgi and D. Walker. The π-calculus. Cambridge University Press, 2002.
13. P. Sewell. Global/local subtyping and capability inference for a distributed π-calculus. In Proceedings of 25th ICALP, volume 1443 of LNCS, pages 695-706, 1998.
14. N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proceedings of 10th CONCUR, volume 1664 of LNCS, pages 557-572, 1999.