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