Embedding Untimed Into Timed Process Algebra: The Case For Explicit Termination

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.

Abstract

Abstract is missing.