A Process Algebra for Timed Systems

A standard process algebra is extended by a new action σ which is meant to denote idling until the next clock cycle. A semantic theory based on testing is developed for the new language. This is characterised in terms of barbs, a variety of ready traces and also characterised as the initial theory generated by a set of equations.

Authors

• M. Hennessy
• T. Regan

Keywords

No keywords are indexed for this paper.