Abstract

We introduce a calculus describing the movement of processes and devices, including movement through administrative domains. Keywords: Agents, process calculi, mobility, wide-area computation. 1 Introduction There are two distinct areas of work in mobility: mobile computing, concerning computation that is carried out in mobile devices (laptops, personal digital assistants, etc.), and mobile computation, concerning mobile code that moves between devices (applets, agents, etc.). We aim to describe all these aspects of mobility within a single framework that encompasses mobile agents, the ambients where agents interact and the mobility of the ambients themselves. The inspiration for this work comes from the potential for mobile computation over the World-Wide Web. The geographic distribution of the Web naturally calls for mobility of computation, as a way of flexibly managing latency and bandwidth. Because of recent advances in networking and language technology, the basic tenets of mob...

Citations

699	A.D.: A calculus for cryptographic protocols: The Spi calculus - Abadi, Gordon - 1997
668	Linda in context - Carriero, Gelernter - 1989
426	The chemical abstract machine - Berry, Boudol - 1990
396	A Language with Distributed Scope - Cardelli - 1995
142	Types for Mobile Ambients - Cardelli, Gordon - 1999
113	An asynchronous model of locality, failure, and process mobility - Amadio - 1997
5	Asynchrony and the p-calculus - Boudol - 1992