On the expressiveness of pure mobile ambients

Electronic Notes in Theoretical Computer Science

Volumn 39, Issue 1, 2003, Pages 94-117

  Zimmer, Pascal ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SIMULATION; COMPUTER SYSTEM FIREWALLS; DIFFERENTIATION (CALCULUS); SEMANTICS;

MOBILE DEVICES; PURE AMBIENT CALCULUS; SEQUENTIAL PROGRAMMING;

MOBILE COMPUTING;

EID: 15844409527     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)82506-X     Document Type: Conference Paper

References (13)

1. Cardelli L. Abstractions for Mobile Computation. Secure Internet Programming: Security Issues for Distributed and Mobile Objects, volume 1603 of Lecture Notes in Computer Science. 1999;51-94. Springer Verlag
2. L. Cardelli. Wide Area Computation. In Proceedings of ICALP'99, volume 1644 of Lecture Notes in Computer Science, pages 10-24. Springer Verlag, 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 of FoSSaCS'98, volume 1378 of Lecture Notes in Computer Science, pages 140-155. Springer Verlag, 1998.
5. Ferrari G., Montanari U., Quaglia P. A π-Calculus with Explicit Substitutions. Theoretical Computer Science. 168:(1):November1996;53-103
6. D. Hirschkoff. Handling Substitutions Explicitly in the π-Calculus. In Proceedings of the Floe Workshop WESTAPP 99, 1999.
7. Honda K., Yoshida N. On Reduction-Based Process Semantics. Theoretical Computer Science. 152:1995;437-486
8. F. Levi and D. Sangiorgi. Controlling Interference in Ambients. In Proceedings of POPL'00. ACM Press, 2000.
9. M. Merro. On Equators in Asynchronous Name-Passing Calculi without Matching. In Proceedings of EXPRESS'99, volume 27 of Electronic Notes in Theoretical Science. Elsevier, 1999.
10. M. Merro and D. Sangiorgi. On Asynchrony in Name-Passing Calculi. In Proceedings of ICALP'98, volume 1443 of Lecture Notes in Computer Science, pages 856-867. Springer Verlag, 1998.
11. Milner R. The Polyadic π-Calculus: a Tutorial. Technical Report ECS-LFCS-91-180. October 1991;University of Edinburgh
12. C. Palamidessi. Comparing the Expressive Power of the Synchronous and the Asynchronous π-Calculus. In Proceedings of POPL'97, pages 256-265. ACM, 1997.
13. P. Zimmer. On the Expressiveness of Pure Mobile Ambients. Technical report, INRIA, 2000. forthcoming.