I&C Journal 1995 Journal Article
A Process Algebra for Timed Systems
- M. Hennessy
- T. Regan
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.