A temporal process algebra (1995)

by M Hennessy, T Regan
Venue:Information and Computation