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

    3 Downloads (Pure)
    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