97 search results - page 1 / 20 » Ambient Groups and Mobility Types |
IFIPTCS
2000
13 years 8 months ago
2000
Abstract. We add name groups and group creation to the typed ambient calculus. Group creation is surprisingly interesting: it has the e ect of statically preventing certain communi...
POPL
1999
ACM
13 years 9 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
ESOP
2004
Springer
13 years 10 months ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
BIRTHDAY
2005
Springer
13 years 6 months ago
2005
Springer
Abstract. We introduce an ambient-based calculus that combines ambient mobility with process mobility, uses group names to collect ambients with homologous features, and exploits c...
ICEB
2004
13 years 6 months ago
2004
Most of existing mobile services were designed based on the client/server architecture. Those mobile services neither paid much attention to mobile users' interactions with t...