Performance analysis and true concurrency semantics (extended abstract)

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageUndefined
    Title of host publication2nd Workshop on process algebras and performance modelling
    Place of PublicationErlangen
    Pages157-174
    Publication statusPublished - 1 Dec 1994

    Keywords

    • METIS-120021

    Cite this

    Brinksma, H., Katoen, J. P., Langerak, R., & Latella, D. (1994). Performance analysis and true concurrency semantics (extended abstract). In 2nd Workshop on process algebras and performance modelling (pp. 157-174). Erlangen.
    Brinksma, Hendrik ; Katoen, Joost P. ; Langerak, Romanus ; Latella, D. / Performance analysis and true concurrency semantics (extended abstract). 2nd Workshop on process algebras and performance modelling. Erlangen, 1994. pp. 157-174
    @inproceedings{f2027c2ebe3b46c783873ff35761cc1a,
    title = "Performance analysis and true concurrency semantics (extended abstract)",
    keywords = "METIS-120021",
    author = "Hendrik Brinksma and Katoen, {Joost P.} and Romanus Langerak and D. Latella",
    year = "1994",
    month = "12",
    day = "1",
    language = "Undefined",
    pages = "157--174",
    booktitle = "2nd Workshop on process algebras and performance modelling",

    }

    Brinksma, H, Katoen, JP, Langerak, R & Latella, D 1994, Performance analysis and true concurrency semantics (extended abstract). in 2nd Workshop on process algebras and performance modelling. Erlangen, pp. 157-174.

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

    2nd Workshop on process algebras and performance modelling. Erlangen, 1994. p. 157-174.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Performance analysis and true concurrency semantics (extended abstract)

    AU - Brinksma, Hendrik

    AU - Katoen, Joost P.

    AU - Langerak, Romanus

    AU - Latella, D.

    PY - 1994/12/1

    Y1 - 1994/12/1

    KW - METIS-120021

    M3 - Conference contribution

    SP - 157

    EP - 174

    BT - 2nd Workshop on process algebras and performance modelling

    CY - Erlangen

    ER -

    Brinksma H, Katoen JP, Langerak R, Latella D. Performance analysis and true concurrency semantics (extended abstract). In 2nd Workshop on process algebras and performance modelling. Erlangen. 1994. p. 157-174