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

    Research output: Book/ReportReportProfessional

    Original languageUndefined
    Place of PublicationUniversity of Twente, Enschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages16
    Publication statusPublished - 1996

    Keywords

    • METIS-119113

    Cite this

    Katoen, J. P., Latella, D., Langerak, R., Brinksma, H., & Bolognesi, T. (1996). A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT).
    Katoen, Joost P. ; Latella, D. ; Langerak, Romanus ; Brinksma, Hendrik ; Bolognesi, T. / A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. University of Twente, Enschede : Centre for Telematics and Information Technology (CTIT), 1996. 16 p.
    @book{b7c72c7f6829411ea5463a22385c0e66,
    title = "A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions",
    keywords = "METIS-119113",
    author = "Katoen, {Joost P.} and D. Latella and Romanus Langerak and Hendrik Brinksma and T. Bolognesi",
    note = "CTIT Technical Report Series no. 96-03",
    year = "1996",
    language = "Undefined",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    address = "Netherlands",

    }

    Katoen, JP, Latella, D, Langerak, R, Brinksma, H & Bolognesi, T 1996, A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. Centre for Telematics and Information Technology (CTIT), University of Twente, Enschede.

    A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. / Katoen, Joost P.; Latella, D.; Langerak, Romanus; Brinksma, Hendrik; Bolognesi, T.

    University of Twente, Enschede : Centre for Telematics and Information Technology (CTIT), 1996. 16 p.

    Research output: Book/ReportReportProfessional

    TY - BOOK

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

    AU - Katoen, Joost P.

    AU - Latella, D.

    AU - Langerak, Romanus

    AU - Brinksma, Hendrik

    AU - Bolognesi, T.

    N1 - CTIT Technical Report Series no. 96-03

    PY - 1996

    Y1 - 1996

    KW - METIS-119113

    M3 - Report

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

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - University of Twente, Enschede

    ER -

    Katoen JP, Latella D, Langerak R, Brinksma H, Bolognesi T. A Consistent Causality-Based View on a Timed Process Algebra including Urgent Interactions. University of Twente, Enschede: Centre for Telematics and Information Technology (CTIT), 1996. 16 p.