Jos C. M. Baeten. Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination. Mathematical Structures in Computer Science, 13(4):589-618, 2003.
No references recorded for this publication.
No citations of this publication recorded.