Timed process algebras

J.C.M. Baeten

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

Original languageEnglish
Title of host publicationProceedings Models for Time-Critical Systems (MTCS 2001, Aalborg, Denmark, August 25, 2001), Satellite event of CONCUR 2001
EditorsF. Corradini, W. Vogler
Pages207-208
DOIs
Publication statusPublished - 2002

Publication series

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

Cite this