A Process Algebra for Timed Systems (1995)

by M Hennessy, T Regan
Venue:in Information and Computation