Causal ambiguity and partial orders in event structures

Rom Langerak; Ed Brinksma; Joost-Pieter Katoen

doi:10.1007/3-540-63141-0_22

Causal ambiguity and partial orders in event structures

Rom Langerak, Ed Brinksma, Joost-Pieter Katoen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

118 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 language	English
Title of host publication	CONCUR'97: Concurrency Theory
Subtitle of host publication	8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
Editors	Antoni Mazurkiewicz, Józef Winkowski
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	317-332
Number of pages	15
ISBN (Electronic)	978-3-540-69188-4
ISBN (Print)	978-3-540-63141-5
DOIs	https://doi.org/10.1007/3-540-63141-0_22
Publication status	Published - 1997
Event	8th International Conference on Concurrency Theory, CONCUR 1997 - Warsaw, Poland Duration: 1 Jul 1997 → 4 Jul 1997 Conference number: 8

Workshop

Workshop	8th International Conference on Concurrency Theory, CONCUR 1997
Abbreviated title	CONCUR
Country/Territory	Poland
City	Warsaw
Period	1/07/97 → 4/07/97

Keywords

FMT-NIM: NON-INTERLEAVING MODELS

Access to Document

10.1007/3-540-63141-0_22

1 Report

Causal ambiguity and partial orders in event structures
Langerak, R., Brinksma, E. & Katoen, J-P., Apr 1997, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. 97-11)
Research output: Book/Report › Report › Professional

Open Access
File

Cite this

@inproceedings{81ef52fc457549789d577b71aa7fde89,

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",

author = "Rom Langerak and Ed Brinksma and Joost-Pieter Katoen",

year = "1997",

doi = "10.1007/3-540-63141-0_22",

language = "English",

isbn = "978-3-540-63141-5",

pages = "317--332",

editor = "Antoni Mazurkiewicz and J{\'o}zef Winkowski",

booktitle = "CONCUR'97: Concurrency Theory",

publisher = "Springer",

note = "8th International Conference on Concurrency Theory, CONCUR 1997, CONCUR ; Conference date: 01-07-1997 Through 04-07-1997",

}

Langerak, R , Brinksma, E & Katoen, J-P 1997, Causal ambiguity and partial orders in event structures. in A Mazurkiewicz & J Winkowski (eds), CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. Springer, Berlin, Heidelberg, pp. 317-332, 8th International Conference on Concurrency Theory, CONCUR 1997, Warsaw, Poland, 1/07/97. https://doi.org/10.1007/3-540-63141-0_22

Causal ambiguity and partial orders in event structures. / Langerak, Rom ; Brinksma, Ed ; Katoen, Joost-Pieter.

CONCUR'97: Concurrency Theory: 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings. ed. / Antoni Mazurkiewicz; Józef Winkowski. Berlin, Heidelberg : Springer, 1997. p. 317-332.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Causal ambiguity and partial orders in event structures

AU - Langerak, Rom

AU - Brinksma, Ed

AU - Katoen, Joost-Pieter

N1 - Conference code: 8

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

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

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

M3 - Conference contribution

SN - 978-3-540-63141-5

SP - 317

EP - 332

BT - CONCUR'97: Concurrency Theory

A2 - Mazurkiewicz, Antoni

A2 - Winkowski, Józef

PB - Springer

CY - Berlin, Heidelberg

T2 - 8th International Conference on Concurrency Theory, CONCUR 1997

Y2 - 1 July 1997 through 4 July 1997

ER -

Causal ambiguity and partial orders in event structures

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Research output

Causal ambiguity and partial orders in event structures

Cite this