The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity

  • Giuseppe Castagna
  • Francesco Zappa Nardelli
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2556)


We present a new version of the Seal Calculus, a calculus of mobile computation. We study observational congruence and bisimulation theory, and show how they are related.


Migration Barb 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 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.Google Scholar
  2. 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.Google Scholar
  3. 3.
    L. Cardelli and A. Gordon. Equational properties for Mobile Ambients. In Proceedings FoSSaCS’ 99. Springer LNCS, 1999.Google Scholar
  4. 4.
    L. Cardelli and A. Gordon. A commitment relation for the Ambient Calculus. Available at∼adg/Publications/ambient-commitment.pdf, 2000.
  5. 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.Google Scholar
  6. 6.
    J.C. Godskesen, T. Hildebrandt, and V. Sassone. A calculus of mobile resources. In CONCUR 2002, Lecture Notes in Computer Science. Springer, 2002.Google Scholar
  7. 7.
    F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL’ 00, pages 352–364. ACM Press, 2000.Google Scholar
  8. 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.Google Scholar
  9. 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.Google Scholar
  10. 10.
    D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST-99-93, University of Edinburgh, 1992.Google Scholar
  11. 11.
    D. Sangiorgi. Bisimulation for Higher-Order Process Calculi. Information and Computation, 131(2):141–178, 1996.MATHCrossRefMathSciNetGoogle Scholar
  12. 12.
    D. Sangiorgi. Extensionality and intensionality of the ambient logic. In Proc. of the 28th ACM Symp. on Principles of Programming Languages, London, 2001.Google Scholar
  13. 13.
    P. Sewell and J. Vitek. Secure composition of insecure components. In 12th IEEE Computer Security Foundations Workshop, 1999.Google Scholar
  14. 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.CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Giuseppe Castagna
    • 1
  • Francesco Zappa Nardelli
    • 1
  1. 1.LIENS (CNRS)ParisFrance

Personalised recommendations