Communicating sequential processes
Communicating sequential processes
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
PI-Calculus: A Theory of Mobile Processes
PI-Calculus: A Theory of Mobile Processes
Pure bigraphs: Structure and dynamics
Information and Computation
The Calculus of Context-aware Ambients
Journal of Computer and System Sciences
Bigraphical models of context-aware systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Hi-index | 0.00 |
The Calculus of Context-aware Ambients (CCA in short) has been proposed as a suitable notation for modelling mobile applications that are context-aware. This paper considers a real-world case study of an infostation-based mLearning system which enables mobile devices such as cellular phones, laptops and personal digital assistants to communicate to each other and to access a number of mlearning services within a university campus. Such a dynamic system must enforce complex policies to cope with mobility and context-awareness. We show how these policies can be formalised and verified using CCA. In particular an important liveness property of the mLearning system is proved using the reduction semantics of CCA.