Wan Fokkink
-
Completeness of timed #CRL
Fundamenta Informaticae
Completeness of Timed μCRL
An Axiomatization for Regular Processes in Timed Branching Bisimulation