Process algebra with timing : real time and discrete time

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

    Research output: Book/ReportReportPopular

    81 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages53
    Publication statusPublished - 1999

    Publication series

    NameLogic Group Preprint Series
    Volume198
    ISSN (Print)0929-0710

    Bibliographical note

    (Logic Group Preprint Series ;198)

    Cite this

    Baeten, J. C. M., & Middelburg, C. A. (1999). Process algebra with timing : real time and discrete time. (Logic Group Preprint Series; Vol. 198). Utrecht University.