Calculus of Context-aware Ambients (CCA)