Search
Now showing items 1-2 of 2
The Calculus of context-aware ambients.
(Elsevier, 2010-02-25)
We present the Calculus of Context-aware Ambients (CCA in short) for the modelling and verification of mobile systems that are context-aware. This process calculus is built upon the calculus of mobile ambients and introduces ...
CCA: a calculus of context-aware ambients.
(IEEE, 2009)
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 ambients and introduces new constructs to enable ...