Rob J. van Glabbeek
-
Register-machine based processes
Journal of the ACM (JACM)
Embedding untimed into timed process algebra: the case for explicit termination
Mathematical Structures in Computer Science