Recently, signi cant progress has been made in the development of timed process algebras for the speci cation and analysis of real-time systems. This paper describes a timed process algebra called ACSR, which supports synchronous timed actions and asynchronous instantaneous events. Timed actions are used to represent the usage of resources and to model the passage of time. Events are used to capture synchronization between processes. To be able to specify real systems accurately, ACSR supports a notion of priority that can be used to arbitrate among timed actions competing for the use of resources and among events that are ready for synchronization. The paper also includes a brief overview of other timed process algebras and discusses similarities and di erences between them and ACSR.
ACSR, a process algebraic approach to the specification and analysis of resource-bound real-time systems is introduced in REF .
A Process Algebraic Approach to the Specification and Analysis of Resource-Bound Real-Time Systems
PROCEEDINGS OF THE IEEE
Computer Science