Discrete time process algebra: Absolute time, relative time and parametric time (1997)

by J C M Baeten, J A Bergstra
Venue:Fundamenta Informaticae