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

J.C.M. Baeten

Research output: Contribution to journalArticlePopular

Original languageEnglish
Pages (from-to)1-18
JournalElectronic Notes in Theoretical Computer Science
Volume39
Issue number1
DOIs
Publication statusPublished - 2003

Cite this