Real time process algebra

1 June 1991

journal article
Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing

Vol. 3 (2) , 142-188
https://doi.org/10.1007/bf01898401

Abstract

We describe an axiom system ACP_p 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 ACP_p is to serve as a specification language for real time systems. The axioms of ACP_p explain its operational meaning in an algebraic form.

Keywords

This publication has 9 references indexed in Scilit:

A temporal calculus of communicating systems
Published by Springer Nature ,2005
Compositional semantics for real-time distributed computing
Information and Computation, 1988
A timed model for communicating sequential processes
Theoretical Computer Science, 1988
Metric spaces as models for real-time concurrency
Published by Springer Nature ,1988
On the consistency of Koomen's Fair Abstraction Rule
Theoretical Computer Science, 1987
Petri net models for algebraic theories of concurrency
Published by Springer Nature ,1987
A timed failures model for extended communicating processes
Published by Springer Nature ,1987
Process algebra for synchronous communication
Information and Control, 1984
A Calculus of Communicating Systems
Lecture Notes in Computer Science, 1980