S. H. J. Bos;M. A. Reniers
-;-
Discrete Time Process Algebra: Absolute Time, Relative Time And Parametric Time
Fundamenta Informaticae