A Process Algebra for Timed Systems

• DOI: 10.1006/inco.1995.1041
• Publication Date: 2002-10-06T17:10:40Z
• Authors: M. Hennessy; T. Regan
• Keywords: Process calculus

AbstractA 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.