A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions

Joost-Pieter Katoen, Rom Langerak, Ed Brinksma, Diego Latella, Tom Bolognesi

    Research output: Book/ReportReportProfessional

    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages16
    Publication statusPublished - 1996

    Publication series

    NameCTIT Technical Report Series
    PublisherCTIT, University of Twente
    No.96-03

    Cite this

    Katoen, J-P., Langerak, R., Brinksma, E., Latella, D., & Bolognesi, T. (1996). A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. (CTIT Technical Report Series; No. 96-03). Enschede: Centre for Telematics and Information Technology (CTIT).