Process algebra with timing

J.C.M. Baeten, C.A. Middelburg

Research output: Book/ReportBookAcademic

Original languageEnglish
Place of PublicationBerlin
PublisherSpringer
Number of pages287
ISBN (Print)3-540-43447-X
Publication statusPublished - 2002

Publication series

NameMonographs in theoretical computer science
ISSN (Print)1431-2654

Cite this

Baeten, J. C. M., & Middelburg, C. A. (2002). Process algebra with timing. (Monographs in theoretical computer science). Springer.