Types for the Ambient Calculus
- Luca Cardelli ,
- Giorgio Ghelli ,
- Andy Gordon
Information and Computation | , Vol 177(2): pp. 160-194
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.