Ambient groups and mobility types

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

Volumn 1872 LNCS, Issue , 2000, Pages 333-347

  Cardelli, Luca ^a   Ghelli, Giorgio ^b   Gordon, Andrew D ^a  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS);

AMBIENT CALCULUS; AMBIENTS; GROUP CREATION; PRACTICAL SYSTEMS; TYPE SYSTEMS;

CALCULATIONS;

EID: 84879087677     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44929-9_25     Document Type: Conference Paper

References (11)

1. M. Abadi. Secrecy by typing in security protocols. In Proceedings TACS'97, LNCS 1281, pages 611-638. Springer, 1997.
2. C. Bodei, P. Degano, F. Nielson, and H. Nielson. Control flow analysis for the calculus. In Proceedings Concur'98, LNCS 1466, pages 84-98. Springer, 1998.
3. L. Cardelli and A. D. Gordon. Mobile ambients. In Proceedings FoS-SaCS'98, LNCS 1378, pages 140-155. Springer, 1998. Accepted for publi-cation in Theoretical Computer Science.
4. L. Cardelli and A. D. Gordon. Types for mobile ambients. In Proceedings POPL'99, pages 79-92. ACM, 1999.
5. L. Cardelli, G. Ghelli, and A. D. Gordon. Mobility types for mobile am-bients. In Proceedings ICALP'99, LNCS 1644, pages 230-239. Springer, 1999.
6. L. Cardelli, G. Ghelli, and A. D. Gordon. Types for the ambient calculus. Microsoft Research Technical Report, to appear.
7. A. D. Gordon and L. Cardelli. Equational properties of mobile ambients. In Proceedings FoSSaCS'99, LNCS 1578, pages 212-226. Springer, 1999.
8. F. Levi and D. Sangiorgi. Controlling interference in ambients. In Procee-dings POPL'00, pages 352-364. ACM, 2000.
9. R. Milner. Communicating and Mobile Systems: The Calculus. CUP, 1999.
10. F. Nielson, H.R. Nielson, R.R. Hansen, and J.G. Jensen. Validating r-ewalls in mobile ambients. In Proceedings Concur'99, LNCS 1664, pages 463-477. Springer, 1999.
11. M. Tofte and J.-P. Talpin. Region-based memory management. Infor-mation and Computation, 132(2):109-176, 1997. Preliminary version in Proceedings POPL'94.