SPECIFYING DYNAMIC REAL-TIME SYSTEMS IN CRP

In this paper, we show that the paradigm of Communicating Reactive Processes (CRP) can be effectively used for programming dynamic real-time systems. Timed CRP unifies asynchronous and perfectly synchronous mechanisms and can specify hybrid reactive systems. Here, we show that it can be used for specifying strict timing constraints and for achieving the notion of guarantee.