Mobility Types for Mobile Ambients

  title={Mobility Types for Mobile Ambients},
  author={Luca Cardelli and Andrew D. Gordon and Giorgio Ghelli},
An ambient is a named cluster of processes and subambi-ents, which moves as a group. The untyped ambient calculus is a process calculus in which ambients model a variety of concepts such as network nodes, packets, channels, and software agents. In these models, some am-bients are intended to be mobile, some immobile; and some are intended to be ephemeral, some persistent. We describe type systems able to formalize these intentions: they can guarantee that an ambient will remain immobile, and… CONTINUE READING

From This Paper

Topics from this paper.
107 Citations
9 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 107 extracted citations

Similar Papers

Loading similar papers…