A Stochastic Causality-based Process Algebra

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages14
    Publication statusPublished - 1995

    Publication series

    NameMemoranda Informatica
    PublisherUniversity of Twente
    No.95-34
    ISSN (Print)0924-3755
    NameTIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.95-13

    Cite this

    Brinksma, E., Katoen, J-P., Langerak, R., & Latella, D. (1995). A Stochastic Causality-based Process Algebra. (Memoranda Informatica; No. 95-34), (TIOS; No. 95-13). Enschede: University of Twente.
    Brinksma, Ed ; Katoen, Joost-Pieter ; Langerak, Rom ; Latella, Diego. / A Stochastic Causality-based Process Algebra. Enschede : University of Twente, 1995. 14 p. (Memoranda Informatica; 95-34). (TIOS; 95-13).
    @book{81af3d55f98348fb99b82df8fae834e8,
    title = "A Stochastic Causality-based Process Algebra",
    author = "Ed Brinksma and Joost-Pieter Katoen and Rom Langerak and Diego Latella",
    year = "1995",
    language = "English",
    series = "Memoranda Informatica",
    publisher = "University of Twente",
    number = "95-34",
    address = "Netherlands",

    }

    Brinksma, E, Katoen, J-P, Langerak, R & Latella, D 1995, A Stochastic Causality-based Process Algebra. Memoranda Informatica, no. 95-34, TIOS, no. 95-13, University of Twente, Enschede.

    A Stochastic Causality-based Process Algebra. / Brinksma, Ed; Katoen, Joost-Pieter; Langerak, Rom; Latella, Diego.

    Enschede : University of Twente, 1995. 14 p. (Memoranda Informatica; No. 95-34), (TIOS; No. 95-13).

    Research output: Book/ReportReportAcademic

    TY - BOOK

    T1 - A Stochastic Causality-based Process Algebra

    AU - Brinksma, Ed

    AU - Katoen, Joost-Pieter

    AU - Langerak, Rom

    AU - Latella, Diego

    PY - 1995

    Y1 - 1995

    M3 - Report

    T3 - Memoranda Informatica

    BT - A Stochastic Causality-based Process Algebra

    PB - University of Twente

    CY - Enschede

    ER -

    Brinksma E, Katoen J-P, Langerak R, Latella D. A Stochastic Causality-based Process Algebra. Enschede: University of Twente, 1995. 14 p. (Memoranda Informatica; 95-34). (TIOS; 95-13).