Mobile Computation: Calculus and Languages (A Tutorial)

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.

[1]  Luca Cardelli,et al.  Mobile Ambients , 1998, Foundations of Software Science and Computation Structure.

[2]  Nicholas Carriero,et al.  Linda in context , 1989, CACM.

[3]  Luca Cardelli,et al.  Abstractions for Mobile Computation , 2001, Secure Internet Programming.

[4]  Tommy Thorn,et al.  Programming languages for mobile code , 1997 .

[5]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[6]  Martín Abadi,et al.  A calculus for cryptographic protocols: the spi calculus , 1997, CCS '97.

[7]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.

[8]  Mario Tokoro,et al.  An Object Calculus for Asynchronous Communication , 1991, ECOOP.

[9]  Gruia-Catalin Roman,et al.  Mobile UNITY: reasoning and specification in mobile computing , 1997, TSEM.

[10]  R. K. Shyamasundar,et al.  Actors as a Coordinating Model of Computation (Extended Abstract) , 1996, Ershov Memorial Conference.

[11]  George C. Necula,et al.  Safe, Untrusted Agents Using Proof-Carrying Code , 1998, Mobile Agents and Security.

[12]  Ken Arnold,et al.  The Java programming language (2nd ed.) , 1998 .

[13]  Oscar Nierstrasz,et al.  Object-Based Models and Languages for Concurrent Systems , 1994, Lecture Notes in Computer Science.

[14]  David K. Gifford,et al.  Remote evaluation , 1990, TOPL.

[15]  Martín Abadi,et al.  A logic of authentication , 1990, TOCS.

[16]  Bent Thomsen,et al.  Calculi for higher order communicating systems , 1990 .

[17]  J. C. Byington,et al.  Mobile agents and security , 1998, IEEE Commun. Mag..

[18]  Jean-Jacques Lévy,et al.  A Calculus of Mobile Agents , 1996, CONCUR.

[19]  David M. Chess,et al.  Security Issues in Mobile Code Systems , 1998, Mobile Agents and Security.

[20]  Cédric Fournet,et al.  The reflexive CHAM and the join-calculus , 1996, POPL '96.

[21]  Nicholas Carriero,et al.  Bauhaus Linda , 1994, ECOOP Workshop.

[22]  Luca Cardelli,et al.  Service Combinators for Web Computing , 1999, DSL.

[23]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[24]  John K. Ousterhout,et al.  Tcl and the Tk Toolkit , 1994 .

[25]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[26]  Ken Arnold,et al.  The Java Programming Language , 1996 .

[27]  Luca Cardelli,et al.  A language with distributed scope , 1995, POPL '95.