A calculus of mobile resources

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

Volumn 2421 LNCS, Issue , 2002, Pages 272-287

  Godskesen, Jens Chr ^a   Hildebrandt, Thomas ^a   Sassone, Vladimiro ^b  

^a IT UNIVERSITY OF COPENHAGEN   (Denmark)

^b UNIVERSITY OF SUSSEX   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; SEMANTICS;

BARBED BISIMULATION; CHARACTERISTIC PROPERTIES; COMPUTING DEVICES; DESIGN AND ANALYSIS; HIGHER-ORDER BISIMULATION; LABELLED TRANSITION SEMANTICS; MOBILE RESOURCE;

CALCULATIONS;

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

References (23)

1. Martin Abadi and Cédric Fournet. Mobile values, new names, and secure communication. In Proceedings of POPL '01. ACM, January 2001.
2. ACM. 27th Annual Symposium an Principles of Programming Languages (POPL) (Boston, MA), January 2000.
3. Michele Bugliesi, Giuseppe Castagna, and Silvia Crafa. Boxed ambients. In Benjamin Pierce, editor, TACS'01, volume 2215 of Lecture Notes in Computer Science, pages 38-63. Springer-Verlag, 2001.
4. Luca Cardelli, Giorgio Ghelli, and Andrew D. Gordon. Ambient groups and mobility types. In J. van Leeuwen, O. Watanabe, M. Hagiya, P. D. Mosses, and T. Ito, editors, Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics, Proceedings of the International IFIP Conference TCS 2000 (Sendai, Japan), volume 1872 of LNCS, pages 333-347. IFIP, Springer, August 2000.
5. Luca Cardelli and Andrew D. Gordon. Mobile ambients. In Maurice Nivat, editor, Proceedings of FoSSaCS'98, volume 1378 of LNCS, pages 140-155. Springer, 1998.
6. Luca Cardelli and Andrew D. Gordon. Types for mobile ambients. In Proceedings of POPL'99, pages 79-92. ACM, 1999.
7. Luca Cardelli and Andrew D. Gordon. Anytime, anywhere: Modal logics for mobile ambients. In Proceedings of POPL'00 [2], pages 365-377.
8. William Ferreira, Matthew Hennessy, and Alan Jeffrey. A theory of weak bisimulation for core CML. Journal of Functional Programming, 8(5):447-491, 1998.
9. Cédric Fournet and Georges Gonthier. A hierarchy of equivalences for asynchronous calculi. In Larsen et al. [14], pages 844-855.
10. Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, and Didier Rémy. A calculus of mobile agents. In Ugo Montanari and Vladimiro Sassone, editors, Proceedings of CONCUR'96, volume 1119 of LNCS, pages 406-421. Springer, 1996.
11. Jens Chr. Godskesen, Thomas Hildebrandt, and Vladimiro Sassone. A calculus of mobile resources. Technical Report TR-2002-16, The IT University of Copenhagen, 2002.
12. Uwe Hansmann, Martin S. Nicklous, Thomas Schäck, and Frank Seliger. Smart Card Application Development Using Java. Springer, 200.
13. Matthew Hennessy and James Riely. Resource access control in systems of mobile agents. In Uwe Nestmann and Benjamin C. Pierce, editors, Proceedings of HLCL'98, volume 16.3 of ENTCS, pages 3-17. Elsevier Science Publishers, 1998.
14. Kim G. Larsen, Sven Skyum, and Glynn Winskel, editors. 25th Colloquium an Automutu, Lunguages und Progrnmming (ICALP) (Aalborg, Denmark), volume 1443 of LNCS. Springer, July 1998.
15. James J. Leifer and Robin Milner. Deriving bisimulation congruences for reactive systems. In Proceedings of CONCUR 2000, volume 1877 of LNCS, pages 243-258, 2000.
16. Francesca Levi and Davide Sangiorgi. Controlling interference in ambients. In Proceedings of POPL'00 [2], pages 352-364.
17. Massimo Merro and Matthew Hennessy. Bisimulation congruences in safe ambients. ACM SIGPLAN Notices, 31(1):71-80, January 2002.
18. Robin Milner. Communicating und Mobile Systems: the π-Culculus. Cambridge University Press, May 1999.
19. Davide Sangiorgi. Bisimulation for Higher-Order Process Calculi. Information and Computation, 131(2):141-178, 1996.
20. Davide Sangiorgi and David Walker. The pi-calculus: a Theory of Mobile Processes. Cambridge Universtity Press, 2001.
21. Peter Sewell. From rewrite rules to bisimulation congruences. In D. Sangiorgi and R. de Simone, editors, Proceedings CONCUR'98, volume 1466, pages 269-284, 1998.
22. Peter Sewell. Global/local subtyping and capability inference for a distributed pi-calculus. In Larsen et al. [14], pages 695-706.
23. Jan Vitek and Giuseppe Castagna. Seal: A framework for secure mobile computations. In Internet Progrnmming Lunguuaes, 1999.