Skip to main content
SpringerLink
Log in

Using location types to control interferences in mobile resources

  • Computer & Information Science
  • Published:
Journal of Zhejiang University-SCIENCE A Aims and scope Submit manuscript

Abstract

This paper presents a type system, called Location System (L-S), to control the interferences in the ambient-like calculi. The L-S allows well-behaved (non-interfering) processes to run in parallel if they do not access shared location during their execution life cycle. This approach is designed for a variant of Mobile Ambient (MA), called Safe Mobile Resources (SR), but it can be also used in other ambient-like calculi which are also discussed in this paper.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Bugliesi, M., Castagna, G., Crafa, S., 2001. Boxed Ambients Proc. TACS 2001, Lecture Notes in Computer Science. Springer,2215: 38–63.

  • Cardelli, L., Gordon, A.D., 1998. Mobile Ambients.In: Nivat. M. (Ed.), Proc. FoSSaCS’98, Lecture Notes in Computer Science, Springer,1378: 140–155.

  • Cardelli, L., Ghelli, G., Gordon, A.D., 1999. Mobility Types for Mobile Ambients. Technical Report MSR-TR-99-32. Microsoft Research.

  • Cardelli, L., Ghelli, G., Gordon, A.D., 2000. Ambient Groups and Mobility Types. IFIP TCS, p. 333–347.

  • Fu, C., You, J.Y., 2003. Application Modeling Based on Typed Resources. Proc. GCC 2003, Lecture Notes in Computer Science, Springer,3033: 628–635.

  • Godskesen, J.C., Hildebrandt, T., Sassone, V., 2002. A Calculus of Mobile Resources. Proc. CONCUR’02, Lecture Notes in Computer Science, Springer,2412: 272–287.

  • Guan, X.D., Yang, Y.L., You, J.Y., 2000. Making Ambients more Robust. Proc. ICS 2000, PHEI Press, p. 377–384.

  • Guan, X.D., Yang, Y.L., You, J.Y., 2001. Typing evolving ambients.Information Processing Letters,80(5):265–270.

    Article  MathSciNet  MATH  Google Scholar 

  • Levi, F., Sangiorgi, D., 2000. Controlling Interference in Ambients. Short Version Appeared in Proc. 27th POPL. ACM Press.

  • Merro, M., Hennessy, M., 2002. Bisimulation Congruences in Safe Ambients. Proc. POPL’02, ACM Press. p. 71–80.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiaotong University, 200030, Shanghai, China

    Fu Cheng & You Jin-yuan

Authors
  1. Fu Cheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. You Jin-yuan
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Cheng, F., Jin-yuan, Y. Using location types to control interferences in mobile resources. J. Zheijang Univ.-Sci. A 6, 414–419 (2005). https://doi.org/10.1631/jzus.2005.A0414

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1631/jzus.2005.A0414

Key words

Document code

CLC number

Search

Navigation