Specification and verification of real time systems in ACP
Jan Friso Groote · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1990
A language, based on ACP (Algebra. of Communicating Processes), is proposed to describe and verify real time systems using a. discrete time sea.le.This language is ca.liedACP~,-ACP.,., is the timeless variant of ACP~, -Contrary to many other proposals for real time languages ACP~, is simple, but powerful.It unifies real time, abstraction, parallelism and communication in one algebraic framework.We give a. set of axioms describing the properties of ACP~., together with a. corresponding operational semantics .Furthermore, we define an interpretation of ACP.,., in ACP~., thereby fixing an intuition behind time in ACP.,., .Some examples show the use of ACP~, -