Absolute versus relative time in process algebras.
scientific article; zbMATH DE number 1853084