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
    ISSN (Print)0924-3755
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group

    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.