The seal calculus revisited: Contextual equivalence and bisimilarity

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

Volumn 2556, Issue , 2002, Pages 85-96

  Castagna, Giuseppe ^a   Nardelli, Francesco Zappa ^a  

^a CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BISIMILARITY; BISIMULATIONS; CONTEXTUAL EQUIVALENCE; MOBILE COMPUTATIONS; OBSERVATIONAL CONGRUENCE; SEAL CALCULUS;

SOFTWARE ENGINEERING; COMPUTATION THEORY;

CALCULATIONS;

EID: 84877766745     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-36206-1_9     Document Type: Article

References (14)

1. L. Cardelli, G. Ghelli, and A. D. Gordon. Ambient groups and mobility types. In Intl. Conf. IFIP TCS, number 1872 in LNCS, pages 333-347. Springer, 2000.
2. L. Cardelli and A. Gordon. Mobile Ambients. In Proceedings of F0SSaCS'98, number 1378 in Lecture Notes in Computer Science, pages 140-155. Springer, 1998.
3. L. Cardelli and A. Gordon. Equational properties for Mobile Ambients. In Proceedings FoSSaCS '99. Springer LNCS, 1999.
4. L. Cardelli and A. Gordon. A commitment relation for the Ambient Calculus. Available at http://research.microsoft.com/adg/Publications/ambient- commitment.pdf, 2000.
5. G. Castagna, G. Ghelli, and F. Zappa Nardelli. Typing mobility in the Seal Calculus. In 12th. International Conference on Concurrency Theory, number 2154 in Lecture Notes in Computer Science, pages 82-101, Springer, 2001.
6. J.C. Godskesen, T. Hildebrandt, and V. Sassone. A calculus of mobile resources. In CONCUR 2002, Lecture Notes in Computer Science. Springer, 2002.
7. F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL '00, pages 352-364. ACM Press, 2000.
8. M. Merro and M. Hennessy. Bisimulation conguences in Safe Ambients. In Proc. of the 29th ACM Symp. on Principles of Programming Languages. ACM Press, 2002.
9. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I and II. Information and Computation, 100:1-77, September 1992.
10. D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and HigherOrder Paradigms. PhD thesis CST-99-93, University of Edinburgh, 1992.
11. D. Sangiorgi. Bisimulation for Higher-Order Process Calculi. Information and Computation, 131(2):141-178, 1996.
12. D. Sangiorgi. Extensionality and intensionality of the ambient logic. In Proc. of the 28th ACM Symp. on Principles of Programming Languages, London, 2001.
13. P. Sewell and J. Vitek. Secure composition of insecure components. In 12th IEEE Computer Security Foundations Workshop, 1999.
14. J. Vitek and G. Castagna. Seal: A framework for secure mobile computations. In Internet Programming Languages, number 1686 in Lecture Notes in Computer Science, pages 47-77. Springer, 1999.