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 systemsPublished by Springer Nature ,2005
- Compositional semantics for real-time distributed computingInformation and Computation, 1988
- A timed model for communicating sequential processesTheoretical Computer Science, 1988
- Metric spaces as models for real-time concurrencyLecture Notes in Computer Science, 1988
- On the consistency of Koomen's Fair Abstraction RuleTheoretical Computer Science, 1987
- Petri net models for algebraic theories of concurrencyLecture Notes in Computer Science, 1987
- A timed failures model for extended communicating processesLecture Notes in Computer Science, 1987
- Process algebra for synchronous communicationInformation and Control, 1984
- A Calculus of Communicating SystemsLecture Notes in Computer Science, 1980