Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
TACS
2001
Springer
10 years 5 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
10 years 8 months ago
CCA: A Calculus of Context-Aware Ambients
We present a process calculus, CCA, for the modelling and veriļ¬cation 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
books