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

    19 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
    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


    Conference3rd AMAST Workshop on Real-Time Systems 1996
    Country/TerritoryUnited States
    CitySalt Lake City

    Cite this