Termination in Timed Process Algebra (2000)

by J.C.M. Baeten, M.A. Reniers
Venue:Formal Aspects of Computing