Wan J. Fokkink
-
An Axiomatization for Regular Processes in Timed Branching Bisimulation
Fundamenta Informaticae