Causal ambiguity and partial orders in event structures

    Research output: Book/ReportReportProfessional

    22 Citations (Scopus)
    43 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 languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages21
    Publication statusPublished - Apr 1997

    Publication series

    NameCTIT Technical Report Series
    No.97-11
    ISSN (Print)1381-3625

    Keywords

    • IR-18595
    • EWI-6026
    • METIS-119116

    Cite this

    Langerak, R., Brinksma, H., & Katoen, J. P. (1997). Causal ambiguity and partial orders in event structures. (CTIT Technical Report Series; No. 97-11). Enschede: Centre for Telematics and Information Technology (CTIT).