In this paper we present a syntactical approach
for the design of real-time embedded systems. The require-
ment of the system is specified as Duration Calculus formula
over continuous state variables. We model discretization ...

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 ...