Stochastic Process Algebras: Linking Process Descriptions with Performance

    Research output: Contribution to journalArticleProfessional

    11 Downloads (Pure)
    Original languageUndefined
    Pages (from-to)34-42
    JournalNieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica
    Issue number4
    Publication statusPublished - 2000

    Keywords

    • METIS-121905
    • IR-76313

    Cite this

    @article{408c6e436cf94e20b084f618432dbc72,
    title = "Stochastic Process Algebras: Linking Process Descriptions with Performance",
    keywords = "METIS-121905, IR-76313",
    author = "Hendrik Brinksma and {d' Argenio}, P.R. and Katoen, {Joost P.}",
    year = "2000",
    language = "Undefined",
    pages = "34--42",
    journal = "Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica",
    number = "4",

    }

    TY - JOUR

    T1 - Stochastic Process Algebras: Linking Process Descriptions with Performance

    AU - Brinksma, Hendrik

    AU - d' Argenio, P.R.

    AU - Katoen, Joost P.

    PY - 2000

    Y1 - 2000

    KW - METIS-121905

    KW - IR-76313

    M3 - Article

    SP - 34

    EP - 42

    JO - Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

    JF - Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica

    IS - 4

    ER -