Real time process algebra with time-dependent conditions

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

    Research output: Book/ReportReportAcademic

    56 Downloads (Pure)
    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUtrecht University
    Number of pages33
    ISBN (Print)90-393-2366-6
    Publication statusPublished - 2000

    Publication series

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

    Bibliographical note

    (Logic Group Preprint Series ; 200)

    Cite this

    Baeten, J. C. M., & Middelburg, C. A. (2000). Real time process algebra with time-dependent conditions. (Logic Group Preprint Series; Vol. 200). Utrecht University.