Real time process algebra

The authors describe an axiom system ACP rho that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP rho is a generalisation of ACP. This implies that some of the axioms have to be relaxed and that ACP can be recovered as a special case from it. The purpose of ACP rho is to serve as a specification language for real time systems. The axioms of ACP rho explain its operational meaning in an algebraic for