Events and States with Timers and Durations - a design exercise

Anders P. Ravn

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch


    This talk investigates a suitable design paradigm for a class of concurrentsystems exemplifiesd by measuring instruments. The characteristic featuresare: distributed sensing and preprocessing, and a computationally intensiveprocess that is required to combine measurements in a time consistent way.
    Original languageEnglish
    Title of host publicationDagstuhl-Seminar Report 144
    PublisherIBFI, Schloss Dagstuhl
    Publication date1996
    Publication statusPublished - 1996
    EventSemantics of Concurrent Systems - foundations and applications - Schloss Dagstuhl, Germany
    Duration: 1 Jan 1996 → …


    ConferenceSemantics of Concurrent Systems - foundations and applications
    CitySchloss Dagstuhl, Germany
    Period01/01/1996 → …

    Cite this