Performance analysis and true concurrency semantics

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Original languageUndefined
    Title of host publicationTheories and experiences for real time system development
    PublisherWorld Scientific
    Pages309-337
    Publication statusPublished - 1994

    Keywords

    • METIS-119011

    Cite this

    Brinksma, H., Katoen, J. P., Langerak, R., & Latella, D. (1994). Performance analysis and true concurrency semantics. In Theories and experiences for real time system development (pp. 309-337). World Scientific.