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.
    Brinksma, Hendrik ; Katoen, Joost P. ; Langerak, Romanus ; Latella, D. / Performance analysis and true concurrency semantics. Theories and experiences for real time system development. World Scientific, 1994. pp. 309-337
    @inbook{658c4d3b305344e7b1549b23e3e19b1a,
    title = "Performance analysis and true concurrency semantics",
    keywords = "METIS-119011",
    author = "Hendrik Brinksma and Katoen, {Joost P.} and Romanus Langerak and D. Latella",
    year = "1994",
    language = "Undefined",
    pages = "309--337",
    booktitle = "Theories and experiences for real time system development",
    publisher = "World Scientific",
    address = "United States",

    }

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

    Performance analysis and true concurrency semantics. / Brinksma, Hendrik; Katoen, Joost P.; Langerak, Romanus; Latella, D.

    Theories and experiences for real time system development. World Scientific, 1994. p. 309-337.

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    TY - CHAP

    T1 - Performance analysis and true concurrency semantics

    AU - Brinksma, Hendrik

    AU - Katoen, Joost P.

    AU - Langerak, Romanus

    AU - Latella, D.

    PY - 1994

    Y1 - 1994

    KW - METIS-119011

    M3 - Chapter

    SP - 309

    EP - 337

    BT - Theories and experiences for real time system development

    PB - World Scientific

    ER -

    Brinksma H, Katoen JP, Langerak R, Latella D. Performance analysis and true concurrency semantics. In Theories and experiences for real time system development. World Scientific. 1994. p. 309-337