Process algebra with timing : real time and discrete time

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

    Research output: Book/Report › Report › Popular

    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)

    Access to Document

    • 588443Final published version, 610 KB

      Cite this