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

J.C.M. Baeten

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings 7th International Workshop on Expressiveness in Concurrency (EXPRESS'00, State College PA, USA, August 21, 2000)
EditorsL. Aceto, B. Victor
Publication statusPublished - 2003

Publication series

NameElectronic Notes in Theoretical Computer Science
ISSN (Print)1571-0061

Cite this