Jim Davies;Jeremy Bryans;Steve Schneider
-;-;-
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science