Subtyping and typing algorithms for mobile ambients

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

Volumn 1784 LNCS, Issue , 2000, Pages 375-390

  Zimmer, Pascal ^a  

^a UNIVERSITÉ DE LYON   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY; DIFFERENTIATION (CALCULUS); FORMAL LANGUAGES; INFERENCE ENGINES; JAVA PROGRAMMING LANGUAGE;

AMBIENT CALCULUS; MOBILE AMBIENTS; MOBILE PROCESS; SUBTYPINGS; TYPE ANNOTATIONS; TYPE INFERENCE ALGORITHM; TYPE SYSTEMS; TYPECHECKING;

INFERENCE ENGINES; ALGORITHMS;

EID: 84878623670     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46432-8_25     Document Type: Conference Paper

References (12)

1. L. Cardelli. Abstractions for Mobile Computation. Secure Internet Programming: Security Issues for Distributed and Mobile Objects, 1999.
2. L. Cardelli. Wide Area Computation. In ICALP'99, April 1999.
3. L. Cardelli and A. D. Gordon. A Calculus of mobile Ambients. 1997. Slides.
4. L. Cardelli and A. D. Gordon. Mobile Ambients. In Proceedings FoSSaCS'98, volume LNCS 1378, pages 140-155. Springer, 1998. (Pubitemid 128054430)
5. L. Cardelli and A. D. Gordon. Types for Mobile Ambients. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 79-92. ACM, January 1999.
6. L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility Types for Mobile Ambients. In Proceedings of ICALP' 99, volume LNCS, April 1999.
7. C. Fournet and A. Schmitt. An Implementation of Ambients in JoCaml. In Proceedings MO S'99, April 1999.
8. F. Levi and D. Sangiorgi. Controlling Interference in Ambients. Draft of a paper to appear in the Proceedings of POPL'00, 2000.
9. R. Milner. The Polyadic φ-Calculus: a Tutorial. Technical Report ECS-LFCS-91-180, University of Edinburgh, October 1991.
10. J. Palsberg. Efficient Inference of Object Types. Information and Computation, 1995.
11. N. Yoshida and M. Hennessy. Subtyping and Locality in Distributed Higher Order Processes. Technical Report 01/99, University of Sussex, May 1999.
12. P. Zimmer. Subtyping and Typing Algorithms for Mobile Ambients. Internship Report - Ecole Normale Supérieure de Lyon, 1999. Available at http://www.ens-lyon.fr/~pzimmer/.