On the Operational Semantics of a Higher Order Safe Ambients Calculus

  • Zining Cao
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 164)


In this paper, we propose a higher order safe ambients calculus. In this setting, we propose an extended labelled transition system and an extended labelled bisimulation for this calculus. We also give the reduction barbed congurence and prove the equivalence of extended labelled bisimulation and reduction barbed congruence for this calculus.


Operational Semantic Label Transition System Proof Obligation Mobile Process Reduction Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Bugliesi, M., Castagna, G., Crafa, S.: Boxed ambients. In: Kobayashi, N., Babu, C. S. (eds.) TACS 2001. LNCS, vol. 2215. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  2. 2.
    Coppo, M., Dezani-Ciangcaglini, M.: A fully abstract model for higher-order ambients. In: Cortesi, A. (ed.) VMCAI 2002. LNCS, vol. 2294, pp. 255–271. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  3. 3.
    Cardelli, L., Gordon, A.: Mobile ambients. Theoretical Computer Science 240(1), 177–213 (2000); An extended abstract appeared in Proc. of FoSSaCS 1998Google Scholar
  4. 4.
    Levi, F., Sangiorgi, D.: Controlling interference in ambients. In: Proc. 27th Symposium on Principles of Programming Languages. ACM Press, New York (2000)Google Scholar
  5. 5.
    Levi, F., Sangiorgi, D.: Mobile safe ambients. ACM Transactions on Programming Languages and Systems 25(1), 1–69 (2003)CrossRefGoogle Scholar
  6. 6.
    Merro, M., Hennessy, M.: A Bisimulation-based Semantic Theory of Safe Ambients. ACM Transactions on Programming Languages and Systems 28(2), 290–330 (2006)CrossRefGoogle Scholar
  7. 7.
    Merro, M., Zappa Nardelli, F.: Bisimulation proof methods for mobile ambients. In: Baeten, J.C.M., et al. (eds.) ICALP 2003. LNCS, vol. 2719. Springer, Heidelberg (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Zining Cao
    • 1
    • 2
  1. 1.Department of Computer Science and TechnologyNanjing University of Aero. & Astro.NanjingP.R. China
  2. 2.Provincial Key Laboratory for Computer Information Processing TechnologySoochow UniversitySuzhouP.R. China

Personalised recommendations