Wan Fokkink;Steven Klusener
-;-
Truth of Duration Calculus Formulae in Timed Frames
Fundamenta Informaticae
An Axiomatization for Regular Processes in Timed Branching Bisimulation