Embedding untimed into timed process algebra: the case for explicit termination (0)

by J C M Baeten
Venue:Mathematical Structures in Computer Science