Alan Jeffrey
-
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science