View of Formal Specifications of Context-Aware Systems using the Calculus of Context-Aware Ambient

Return to Article Details Formal Specifications of Context-Aware Systems using the Calculus of Context-Aware Ambient Download Download PDF