Causal ambiguity and partial orders in event structures

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

    127 Downloads (Pure)

    Abstract

    Event structure models often have some constraint which ensures that for each system run it is clear what are the causal predecessors of an event (i.e. there is no causal ambiguity). In this contribution we study what happens if we remove such constraints. We define five different partial order semantics that are intentional in the sense that they refer to syntactic aspects of the model. We also define an observational partial order semantics, that derives a partial order from just the event traces. It appears that this corresponds to the so-called early intentional semantics; the other intentional semantics cannot be observationally characterized. We study the equivalences induced by the different partial order definitions, and their interrelations.
    Original languageEnglish
    Title of host publicationCONCUR'97: Concurrency Theory
    Subtitle of host publication8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
    EditorsAntoni Mazurkiewicz, Józef Winkowski
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages317-332
    Number of pages15
    ISBN (Electronic)978-3-540-69188-4
    ISBN (Print)978-3-540-63141-5
    DOIs
    Publication statusPublished - 1997
    Event8th International Conference on Concurrency Theory, CONCUR 1997 - Warsaw, Poland
    Duration: 1 Jul 19974 Jul 1997
    Conference number: 8

    Workshop

    Workshop8th International Conference on Concurrency Theory, CONCUR 1997
    Abbreviated titleCONCUR
    Country/TerritoryPoland
    CityWarsaw
    Period1/07/974/07/97

    Keywords

    • FMT-NIM: NON-INTERLEAVING MODELS

    Fingerprint

    Dive into the research topics of 'Causal ambiguity and partial orders in event structures'. Together they form a unique fingerprint.

    Cite this