Typing and subtyping mobility in boxed ambients

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

Volumn 2421 LNCS, Issue , 2002, Pages 304-320

  Merro, Massimo ^a   Sassone, Vladimiro ^a  

^a UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

AMBIENTS; BOXED AMBIENTS; COMPLEXITY COSTS; SUBTYPINGS; TYPE SYSTEMS;

FORMAL LANGUAGES;

EID: 84874728872     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45694-5_21     Document Type: Conference Paper

References (23)

1. M. Bugliesi, G. Castagna and S. Crafa. Reasoning about security in mobile ambients. In Proc. CONCUR 2001, volume 2154 Lecture Notes in Computer Science, Springer, 2001.
2. M. Bugliesi, G. Castagna, and S. Crafa. Boxed ambients. In Proc. TACS 2001, volume 2215 of Lecture Notes in Computer Science, Springer, 2001.
3. L. Cardelli and G. Ghelli. A query language based an the ambient logic. In Proc. ESOP 2001, volume 2028 of Lecture Notes in Computer Science, Springer, 2001.
4. L. Cardelli. Wide area computation, In Proc. ICALP 1999, volume 1644 of Lecture Notes in Computer Science, Springer, 1999.
5. L. Cardelli, G. Ghelli, and A. Gordon. Ambient groups and mobility types. In Proc. IFIP TCS 2000, volume 1872 of Lecture Notes in Computer Science, Springer, 2000.
6. L. Cardelli and A. Gordon. Types for mobile ambients. In Proc. of POPL'99, ACM Press, 1999.
7. L. Cardelli and A. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In Proc. of POPL 2000, ACM Press, 2000.
8. L. Cardelli and A. Gordon. Mobile nmbients. Theoretical Computer Science, 240(1):177213, 2000.
9. An extended abstract appeared in Proc. of FoSSaCS 1998, volume 1378 of Lecture Notes in Computer Science, Springer, 1998.
10. I. Castellani. Process algebras with localities. In J. Bergstra, A. Ponse, and S. Smolka, (Eds), Handbook of Process Algebra, 945-1045, North-Holland, 2001.
11. R. De Nicola, G. Ferrari, and R. Pugliese. Klaim: A kernel language for agents interaction und mobility. IEEE Trans. an Software Engineering, 24(5), IEEE Press, 1998.
12. G. Ghelli G. Castagna and F. Zappa Nardelli. Typing mobility in the seal calculus. In Proc. CONCUR 2001, volume 2154 Lecture Notes in Computer Science, Springer, 2001.
13. E Levi and D. Sangiorgi. Controlling interference in ambients. In Proc. POPL 2000, ACM Press.
14. M. Merro and M. Hennessy. Bisimulation congruences in safe ambients. Proc. POPL'02, ACM Press, 2002
15. M. Merro and V Sassone. Typing and subtyping mobility in boxed ambients. To appear as Technical Report available at http://www.cogs.susx.ac.uk/reports. University of Sussex.
16. R. Milner. Communication und Concurrency. Prentice Hall, 1989.
17. R. Milner, J. Parrow, and D. Walken A calculus of mobile processes, (Parts I und II). Information and Computation, 100:1-77, 1992.
18. B. Pierce and D. Sangiorgi. Typing und subtyping for mobile processes. Journal of Mathematical Structures in Computer Science, 6(5):409-454, 1996.
19. J. Vitek and G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, volume 1686 of Lecture Notes in Computer Science, Springer, 1999.
20. Y Yang, X. Guan, and J. You. Typing evolving nmbients. Information Processing Letters, 80(5):265-270, 2001.
21. N. Yoshida and M. Hennessy. Subtyping and locality in distributed higher order processes. In Proc. CONCUR 1999, volume 1664 of Lecture Notes in Computer Science, Springer, 1999.
22. N. Yoshida and M. Hennessy. Assigning types to processes. In Proc. LICS 2000, IEEE Press, 2000.
23. P. Zimmer. Subtyping and typing algorithms for mobile ambients. In Proc. FoS-SaCS 2000, volume 1784 of Lecture Notes in Computer Science, Springer, 2000.