Real-time process algebra

Abstract

We describe an axiom system ACPp that incorporates real timed actions. Many examples are provided in order to explain the intuitive contents of the notation. ACP p 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 ACPp is to serve as a specification language for real time systems. The axioms of ACPp explain its operational meaning in an algebraic form.