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).
    Katoen, Joost-Pieter ; Langerak, Rom ; Brinksma, Ed ; Latella, Diego ; Bolognesi, Tom. / A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. Enschede : Centre for Telematics and Information Technology (CTIT), 1996. 16 p. (CTIT Technical Report Series; 96-03).
    @book{b7c72c7f6829411ea5463a22385c0e66,
    title = "A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions",
    author = "Joost-Pieter Katoen and Rom Langerak and Ed Brinksma and Diego Latella and Tom Bolognesi",
    year = "1996",
    language = "English",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "96-03",
    address = "Netherlands",

    }

    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, Centre for Telematics and Information Technology (CTIT), Enschede.

    A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. / Katoen, Joost-Pieter; Langerak, Rom; Brinksma, Ed; Latella, Diego; Bolognesi, Tom.

    Enschede : Centre for Telematics and Information Technology (CTIT), 1996. 16 p. (CTIT Technical Report Series; No. 96-03).

    Research output: Book/ReportReportProfessional

    TY - BOOK

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

    AU - Katoen, Joost-Pieter

    AU - Langerak, Rom

    AU - Brinksma, Ed

    AU - Latella, Diego

    AU - Bolognesi, Tom

    PY - 1996

    Y1 - 1996

    M3 - Report

    T3 - CTIT Technical Report Series

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

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    ER -

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