Skip to main content
SpringerLink
Log in

Mobile Computation: Calculus and Languages (A Tutorial)

  • Conference paper
  • First Online:
Advances in Computing Science ASIAN 98 (ASIAN 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1538))

Included in the following conference series:

Abstract

This paper provides a brief overview of a tutorial on current research directions in mobile computation. In particular we provide an overview of the various abstract calculi for mobility, an overview of the programming languages that have been developed for mobile computation, and provide a comparative study of the language abstractions via the calculi and discuss the underlying challenges

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abadi, M., Gordon, A.D.: A calculus for Cryptographic Protocols: the SPI Calculus. Proc. ACM Conference on Computer and Communications Security, ACM Press (1997) 36–47.

    Google Scholar 

  2. Agha, G.: Actors: A Model of Concurrent Computing in Distributed Systems. MIT Press (1986).

    Google Scholar 

  3. Arnold, K., Gosling, J.: The Java Programming Language. Sun Microsystems (1996).

    Google Scholar 

  4. Boudol, G., Castellani, I., Hennessy, M., Kiehn, A.: A Theory of Processes with Localities. Formal Aspects of Computing, 6 (1994) 165–200.

    Article  MATH  Google Scholar 

  5. Burrows, M., Abadi, M., Needham, R.: A Logic of Authentication. ACM Transactions on Computer Systems, 8 (1990) 18–36.

    Article  Google Scholar 

  6. Cardelli, L., Gordon, A.D.: Mobile Ambients. Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, Vol. 1378, Springer-Verlag (1998) 140–155.

    Chapter  Google Scholar 

  7. Cardelli, L.: Abstractions for Mobile Computation. Manuscript (1998).

    Google Scholar 

  8. Cardelli, L., Davies, R.: Service Combinators for Web Computing. DEC Research Report(1997).

    Google Scholar 

  9. Cardelli, L.: A Language with Distributed Scope. Computing Systems 8 (1995) 27–59.

    Google Scholar 

  10. Carriero, N., Gelernter, D.: Linda in Context. Communications of the ACM 32 (1989) 444–458.

    Article  Google Scholar 

  11. Carriero, N., Gelernter, D., Zuck, L.: Bauhaus Linda. Proc. Object-Based Models and Languages for Concurrent Systems, Lecture Notes in Computer Science, Vol. 924. Springer-Verlag (1995) 66–76.

    Google Scholar 

  12. Chess, D.M.: Security Issues in Mobile Code Systems. Mobile Agents and Security, Lecture Notes in Computer Science, Vol 1419. Springer-Verlag (1998).

    Chapter  Google Scholar 

  13. Fournet, C, Gonthier G.: The Reflexive CHAM and the Join Calculus. Proc. POPL, ACM Press (1996) 372–385.

    Google Scholar 

  14. Fournet, C, Gonthier G., Lévy, J-J., Maranget, L., Rémy, D.: A Calculus of Mobile Agents. Proc. CONCUR’96, Lecture Notes in Computer Science, Springer-Verlag (1996) 406–421.

    Google Scholar 

  15. General Magic: The Telescript Home Page. Available at http://www.genmagic.com/Telescript.

  16. General Magic: Mobile Agents White Paper.

    Google Scholar 

  17. Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. Proc. ECOOP’91, Lecture Notes in Computer Science, Vol. 521. Springer-Verlag (1991) 133–147.

    Google Scholar 

  18. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall (1988).

    Google Scholar 

  19. Leroy, X.: Objective Caml. Available at http://www.pauillac.inria.fr/ocaml/.

  20. Lucent Technologies: The Inferno Home Page. Available at http://www.inferno.belllabs.com/inferno/index.html.

  21. Milner, R.: Communication and Concurrency. Prentice-Hall (1988).

    Google Scholar 

  22. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Parts 1-2. Information and Computation 100 (1992) 1–77.

    Article  MATH  MathSciNet  Google Scholar 

  23. Necula, G.C., Lee P.: Safe, Untrusted Agents Using Proof-Carrying Code. Mobile Agents and Security, Lecture Notes in Computer Science, Vol 1419. Springer-Verlag (1998).

    Chapter  Google Scholar 

  24. Ousterhout, J.K.: Tcl and the TkToolkit. Addison-Wesley (1994).

    Google Scholar 

  25. Raja, N., Shyamasundar, R.K.: Actors as a Coordinating Model of Computation. Perspectives of System Informatics, Lecture Notes in Computer Science, Vol 1181. Springer-Verlag (1996) 191–202.

    Google Scholar 

  26. Reisig, W.: Petrinets. EATCS Monographs on Theoretical Computer Science (1990).

    Google Scholar 

  27. Roman, G-C., McCann, P.J., Plun, J.Y.: Mobile UNITY: reasoning and Specification in Mobile Computing. ACM Transactions on Software Engineering and Methodology, 6 (1997) 250–282.

    Article  Google Scholar 

  28. Stamos, J.W., Gifford, D.K.: Remote Evaluation. ACM Transactions on Programming Languages and Systems 12 (1990) 537–565.

    Article  Google Scholar 

  29. Thomsen, B.: Calculi for higher-order communicating systems, Ph.D. thesis, Imperial College, London University (1990).

    Google Scholar 

  30. Thorn, T.: Programming Languages for Mobile Code. ACM Computing Surveys, 29 (1997) 213–239.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Technology & Computer Science, Tata Institute of Fundamental Research, Mumbai, 400 005, India

    N. Raja & R. K. Shyamasundar

Authors
  1. N. Raja
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. K. Shyamasundar
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Science and Technology, National Chi-Nan University, Puli, Nantou, Taiwan

    Jieh Hsiang

  2. Research Institute for Mathematical Sciences, Kyoto University, Sakyo-ku, Kyoto, 606-8502, Japan

    Atsushi Ohori

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Raja, N., Shyamasundar, R.K. (1998). Mobile Computation: Calculus and Languages (A Tutorial). In: Hsiang, J., Ohori, A. (eds) Advances in Computing Science ASIAN 98. ASIAN 1998. Lecture Notes in Computer Science, vol 1538. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49366-2_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-49366-2_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65388-2

  • Online ISBN: 978-3-540-49366-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation