Causal ambiguity and partial orders in event structures

Romanus Langerak, A.W. Mazurkiewizc (Editor), Hendrik Brinksma, J. Winkowski (Editor), Joost P. Katoen

    Research output: Contribution to conferencePaper

    49 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
    Pages317-332
    Number of pages16
    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
    CountryPoland
    CityWarsaw
    Period1/07/974/07/97

    Keywords

    • FMT-NIM: NON-INTERLEAVING MODELS
    • IR-63305
    • EWI-6492

    Cite this

    Langerak, R., Mazurkiewizc, A. W. (Ed.), Brinksma, H., Winkowski, J. (Ed.), & Katoen, J. P. (1997). Causal ambiguity and partial orders in event structures. 317-332. Paper presented at 8th International Conference on Concurrency Theory, CONCUR 1997, Warsaw, Poland. https://doi.org/10.1007/3-540-63141-0_22
    Langerak, Romanus ; Mazurkiewizc, A.W. (Editor) ; Brinksma, Hendrik ; Winkowski, J. (Editor) ; Katoen, Joost P. / Causal ambiguity and partial orders in event structures. Paper presented at 8th International Conference on Concurrency Theory, CONCUR 1997, Warsaw, Poland.16 p.
    @conference{1c9f3c9e4afb4bdf9cd6962559f81da5,
    title = "Causal ambiguity and partial orders in event structures",
    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.",
    keywords = "FMT-NIM: NON-INTERLEAVING MODELS, IR-63305, EWI-6492",
    author = "Romanus Langerak and A.W. Mazurkiewizc and Hendrik Brinksma and J. Winkowski and Katoen, {Joost P.}",
    year = "1997",
    doi = "10.1007/3-540-63141-0_22",
    language = "Undefined",
    pages = "317--332",
    note = "null ; Conference date: 01-07-1997 Through 04-07-1997",

    }

    Langerak, R, Mazurkiewizc, AW (ed.), Brinksma, H, Winkowski, J (ed.) & Katoen, JP 1997, 'Causal ambiguity and partial orders in event structures' Paper presented at 8th International Conference on Concurrency Theory, CONCUR 1997, Warsaw, Poland, 1/07/97 - 4/07/97, pp. 317-332. https://doi.org/10.1007/3-540-63141-0_22

    Causal ambiguity and partial orders in event structures. / Langerak, Romanus; Mazurkiewizc, A.W. (Editor); Brinksma, Hendrik; Winkowski, J. (Editor); Katoen, Joost P.

    1997. 317-332 Paper presented at 8th International Conference on Concurrency Theory, CONCUR 1997, Warsaw, Poland.

    Research output: Contribution to conferencePaper

    TY - CONF

    T1 - Causal ambiguity and partial orders in event structures

    AU - Langerak, Romanus

    AU - Brinksma, Hendrik

    AU - Katoen, Joost P.

    A2 - Mazurkiewizc, A.W.

    A2 - Winkowski, J.

    PY - 1997

    Y1 - 1997

    N2 - 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.

    AB - 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.

    KW - FMT-NIM: NON-INTERLEAVING MODELS

    KW - IR-63305

    KW - EWI-6492

    U2 - 10.1007/3-540-63141-0_22

    DO - 10.1007/3-540-63141-0_22

    M3 - Paper

    SP - 317

    EP - 332

    ER -

    Langerak R, Mazurkiewizc AW, (ed.), Brinksma H, Winkowski J, (ed.), Katoen JP. Causal ambiguity and partial orders in event structures. 1997. Paper presented at 8th International Conference on Concurrency Theory, CONCUR 1997, Warsaw, Poland. https://doi.org/10.1007/3-540-63141-0_22