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

J.C.M. Baeten

Research output: Contribution to journalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)589-618
JournalMathematical Structures in Computer Science
Volume13
Issue number4
DOIs
Publication statusPublished - 2003

Cite this