Types for the Ambient Calculus

  title={Types for the Ambient Calculus},
  author={Luca Cardelli and Giorgio Ghelli and Andrew D. Gordon},
  journal={Inf. Comput.},
The ambient calculus is a concurrent calculus where the unifying notion of ambient is used to model many different constructs for distributed and mobile computation. We study a type system that describes several properties of ambient behavior. The type system allows ambients to be partitioned in disjoint sets (groups), according to the intended design of a system, in order to specify both the communication and the mobility behavior of ambients. C © 2002 Elsevier Science (USA) 
Highly Influential
This paper has highly influenced 10 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 79 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.
50 Citations
42 References
Similar Papers


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

80 Citations

Citations per Year
Semantic Scholar estimates that this publication has 80 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Similar Papers

Loading similar papers…