Specification of Timing Constraints within the Circal Process Algebra

摘要

We present a methodology for describing timing constraints within various time models. This methodology exploits the constraint-based modelling style available within Circal, a process algebra that permits a natural representation of time without any ad hoc extension. The methodology is illustrated through several examples in the are of communication protocols and asynchronous hardware.