Abstract
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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have