963 search results - page 2 / 193 » Types for Mobile Ambients |
BIRTHDAY
2005
Springer
13 years 10 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...
ENTCS
2006
13 years 8 months ago
2006
Maude has revealed itself as a powerful tool for implementing different kinds of semantics so that quick prototypes are available for trying examples and proving properties. In th...
IFIP
2004
Springer
14 years 1 months ago
2004
Springer
MSCS
2008
13 years 8 months ago
2008
TACS
2001
Springer
14 years 1 months ago
2001
Springer
Boxed Ambients are a variant of Mobile Ambients that result from (i) dropping the open capability and (ii) providing new primitives for ambient communication while retaining the co...