Barbs and congruences for Safe Mobile Ambients

Electronic Notes in Theoretical Computer Science

Volumn 66, Issue 3, 2002, Pages 37-51

  Vigliotti, M G ^a   Phillips, I C C ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTATIONAL METHODS; COMPUTER SCIENCE; COMPUTER SIMULATION; SEMANTICS; SET THEORY;

AMBIENT CALCULUS (AC); MOBILE AMBIENTS (MA); MOBILE CODE; MOBILE COMPUTATION;

INTERNET;

EID: 18944362235     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80415-8     Document Type: Conference Paper

References (12)

1. Cardelli L. Abstraction for Mobile Computation. Secure Internet Programming: Security Issues for Mobile and Distributed Object, volume 1603 of LNCS. 1999;51-94 Springer-Verlag
2. L. Cardelli and A.D. Gordon. Mobile ambient. In Proceedings of FoSSaCS'98, volume 1378 of LNCS, pages 140-155. Springer-Verlag, 1998.
3. C. Fournet, G. Gonthier. A hierarchy of equivalences for asynchronous calculi. In Proceedings of ICALP'98, volume 1443 of LNCS, July 1998.
4. A.D. Gordon and L. Cardelli. Technical annex. Available at: www.microsoft.com/adg, 1998.
5. A.D. Gordon and L. Cardelli. Equational properties of mobile ambients. Technical Report MSR-TR-99-11, Microsoft Research Center, April 1999.
6. Honda K., Yoshida N. On reduction-based process semantics. Theoretical Computer Science. 151:1995;437-486
7. F. Levi and D. Sangiorgi. Controlling Interference for Ambients. In Proceedings of POPL'00, pages 142-154, ACM Press, 2000.
8. Milner R., Parrow J., Walker D. A calculus for mobile processes, (Parts I and II). Information and Computation. 100:(1):1992;1-77
9. R. Milner and D. Sangiorgi. Barbed Bisimulation. In Proceedings of 19th ICALP, volume 623 of LNCS, 1992
10. M. Merro and M. Hennessy. Bisimulation Congruences in Safe Ambients. In Proceedings of POPL'02, 2002. To appear.
11. I.C.C. Phillips and M.G. Vigliotti. On reduction semantics for the Push and Pull Ambient Calculus. In Proceedings of IFIP TCS 2002, Montreal, to appear.
12. D. Sangiorgi. Expressing mobility in Process Algebra: First-Order and Higher-Order Paradigms. PhD thesis, University of Edinburgh, 1993.