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. |
Year | DOI | Venue |
---|---|---|
2002 | 10.1006/inco.2001.3121 | Information and Computation/information and Control |
Keywords | Field | DocType |
unifying notion,intended design,different construct,ambient behavior,ambient calculus,concurrent calculus,mobility behavior,disjoint set,mobile computation,type system,mobile computer,programming language | Discrete mathematics,Disjoint sets,Type theory,Systems design,Theoretical computer science,Partition (number theory),Process calculus,Ambient calculus,Mathematics,Calculus,Computation | Journal |
Volume | Issue | ISSN |
177 | 2 | Information and Computation |
Citations | PageRank | References |
38 | 1.34 | 21 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Luca Cardelli | 1 | 6221 | 1002.41 |
Giorgio Ghelli | 2 | 1300 | 255.19 |
Andrew Gordon | 3 | 3713 | 268.70 |