Abstract
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.
Research supported by ‘MyThS: Models and Types for Security in Mobile Distributed Systems’, EU FET-GC IST-2001-32617.
Sangiorgi’s research on equivalences for higher order π-calculus [10],[11] allows the duplication of processes, but does not account either for agents or for mobility.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
L. Cardelli and A. Gordon. Equational properties for Mobile Ambients. In Proceedings FoSSaCS’ 99. Springer LNCS, 1999.
L. Cardelli and A. Gordon. A commitment relation for the Ambient Calculus. Available at http://research.microsoft.com/∼adg/Publications/ambient-commitment.pdf, 2000.
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.
J.C. Godskesen, T. Hildebrandt, and V. Sassone. A calculus of mobile resources. In CONCUR 2002, Lecture Notes in Computer Science. Springer, 2002.
F. Levi and D. Sangiorgi. Controlling interference in Ambients. In POPL’ 00, pages 352–364. ACM Press, 2000.
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.
R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes, Parts I and II. Information and Computation, 100:1–77, September 1992.
D. Sangiorgi. Expressing Mobility in Process Algebras: First-Order and Higher-Order Paradigms. PhD thesis CST-99-93, University of Edinburgh, 1992.
D. Sangiorgi. Bisimulation for Higher-Order Process Calculi. Information and Computation, 131(2):141–178, 1996.
D. Sangiorgi. Extensionality and intensionality of the ambient logic. In Proc. of the 28th ACM Symp. on Principles of Programming Languages, London, 2001.
P. Sewell and J. Vitek. Secure composition of insecure components. In 12th IEEE Computer Security Foundations Workshop, 1999.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Castagna, G., Nardelli, F.Z. (2002). The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity. In: Agrawal, M., Seth, A. (eds) FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science. FSTTCS 2002. Lecture Notes in Computer Science, vol 2556. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36206-1_9
Download citation
DOI: https://doi.org/10.1007/3-540-36206-1_9
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00225-3
Online ISBN: 978-3-540-36206-7
eBook Packages: Springer Book Archive