Causal ambiguity and partial orders in event structures

Research output: Book/ReportReportProfessional

20 Citations (Scopus)
25 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).
Langerak, Romanus ; Brinksma, Hendrik ; Katoen, Joost P. / Causal ambiguity and partial orders in event structures. Enschede : Centre for Telematics and Information Technology (CTIT), 1997. 21 p. (CTIT Technical Report Series; 97-11).
@book{f5b84c54ed2d4bceae482a2cbeafbf00,
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 = "IR-18595, EWI-6026, METIS-119116",
author = "Romanus Langerak and Hendrik Brinksma and Katoen, {Joost P.}",
note = "Imported from CTIT",
year = "1997",
month = "4",
language = "Undefined",
series = "CTIT Technical Report Series",
publisher = "Centre for Telematics and Information Technology (CTIT)",
number = "97-11",
address = "Netherlands",

}

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

Causal ambiguity and partial orders in event structures. / Langerak, Romanus; Brinksma, Hendrik; Katoen, Joost P.

Enschede : Centre for Telematics and Information Technology (CTIT), 1997. 21 p. (CTIT Technical Report Series; No. 97-11).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - Causal ambiguity and partial orders in event structures

AU - Langerak, Romanus

AU - Brinksma, Hendrik

AU - Katoen, Joost P.

N1 - Imported from CTIT

PY - 1997/4

Y1 - 1997/4

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 - IR-18595

KW - EWI-6026

KW - METIS-119116

M3 - Report

T3 - CTIT Technical Report Series

BT - Causal ambiguity and partial orders in event structures

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -

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