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 conferencePaperAcademicpeer-review

39 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 conferencePaperAcademicpeer-review

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