Types for the Ambient Calculus |
| |
Authors: | Luca Cardelli Giorgio Ghelli Andrew D Gordon |
| |
Affiliation: | a Microsoft Research, 7 J.J. Thomson Avenue, Cambridge, United Kingdom;b Dipartimento di Informatica, Università di Pisa, Corso Italia 40, Pisa, Italy |
| |
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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|