Process algebra with timing : real time and discrete time

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

    Research output: Book/ReportReportPopular

    151 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