Performance analysis and true concurrency semantics

    Research output: Contribution to journalArticleProfessional

    Original languageUndefined
    Pages (from-to)-
    Number of pages28
    JournalMemoranda informatica
    Issue number39
    Publication statusPublished - 1994

    Keywords

    • METIS-121798

    Cite this

    @article{2ca6727a30da4aa89eff75ec8cf90c16,
    title = "Performance analysis and true concurrency semantics",
    keywords = "METIS-121798",
    author = "Hendrik Brinksma and Katoen, {Joost P.} and Romanus Langerak and D. Latella",
    year = "1994",
    language = "Undefined",
    pages = "--",
    journal = "Memoranda informatica",
    issn = "0924-3755",
    publisher = "University of Twente",
    number = "39",

    }

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

    In: Memoranda informatica, No. 39, 1994, p. -.

    Research output: Contribution to journalArticleProfessional

    TY - JOUR

    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-121798

    M3 - Article

    SP - -

    JO - Memoranda informatica

    JF - Memoranda informatica

    SN - 0924-3755

    IS - 39

    ER -