A Consistent Causality-Based View on a Timed Process Algebra

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationThird AMAST Workshop on Real-Time Systems
    Subtitle of host publicationProceedings: March 6-8, 1996, Salt Lake City, Utah
    Place of PublicationSalt Lake City, Utah
    Chapter1
    Pages3-21
    Number of pages19
    Publication statusPublished - 18 Nov 1996
    Event3rd AMAST Workshop on Real-Time Systems 1996 - Salt Lake City, United States
    Duration: 6 Mar 19968 Mar 1996
    Conference number: 3

    Conference

    Conference3rd AMAST Workshop on Real-Time Systems 1996
    CountryUnited States
    CitySalt Lake City
    Period6/03/968/03/96

    Cite this

    Katoen, J-P., Latella, D., Langerak, R., Brinksma, E., & Bolognesi, T. (1996). A Consistent Causality-Based View on a Timed Process Algebra. In Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah (pp. 3-21). Salt Lake City, Utah.
    Katoen, Joost-Pieter ; Latella, Diego ; Langerak, Rom ; Brinksma, Ed ; Bolognesi, Tommaso. / A Consistent Causality-Based View on a Timed Process Algebra. Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, 1996. pp. 3-21
    @inproceedings{ea546032a5d841c0b929b4283a78718e,
    title = "A Consistent Causality-Based View on a Timed Process Algebra",
    author = "Joost-Pieter Katoen and Diego Latella and Rom Langerak and Ed Brinksma and Tommaso Bolognesi",
    year = "1996",
    month = "11",
    day = "18",
    language = "English",
    pages = "3--21",
    booktitle = "Third AMAST Workshop on Real-Time Systems",

    }

    Katoen, J-P, Latella, D, Langerak, R, Brinksma, E & Bolognesi, T 1996, A Consistent Causality-Based View on a Timed Process Algebra. in Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, pp. 3-21, 3rd AMAST Workshop on Real-Time Systems 1996, Salt Lake City, United States, 6/03/96.

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

    Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah, 1996. p. 3-21.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    TY - GEN

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

    AU - Katoen, Joost-Pieter

    AU - Latella, Diego

    AU - Langerak, Rom

    AU - Brinksma, Ed

    AU - Bolognesi, Tommaso

    PY - 1996/11/18

    Y1 - 1996/11/18

    M3 - Conference contribution

    SP - 3

    EP - 21

    BT - Third AMAST Workshop on Real-Time Systems

    CY - Salt Lake City, Utah

    ER -

    Katoen J-P, Latella D, Langerak R, Brinksma E, Bolognesi T. A Consistent Causality-Based View on a Timed Process Algebra. In Third AMAST Workshop on Real-Time Systems: Proceedings: March 6-8, 1996, Salt Lake City, Utah. Salt Lake City, Utah. 1996. p. 3-21