Sciweavers

TACS
2001
Springer
13 years 10 months ago
Boxed Ambients
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...
Michele Bugliesi, Giuseppe Castagna, Silvia Crafa
AINA
2009
IEEE
14 years 1 months ago
CCA: A Calculus of Context-Aware Ambients
We present a process calculus, CCA, for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambien...
François Siewe, Antonio Cau, Hussein Zedan