Causal Ambiguity and Partial Orders in Event Structures

Eventstructuremodelsoftenhavesomeconstraintwhichensuresthatforeachsystemrunitisclearwhatarethecausalpredecessorsofanevent(i.e. there is no causal ambiguity). In this contribution we study whathappens if we remove such constraints. We de ne ve di erent partialordersemanticsthatareintentionalinthesensethattheyrefertosyn-tacticaspectsofthemodel. Wealsode neanobservationalpartialordersemantics,thatderivesapartialorderfromjusttheeventtraces.Itappearsthatthiscorrespondstotheso-calledearlyintentionalse-mantics;theotherintentionalsemanticscannotbeobservationallycharac-terized. Westudytheequivalencesinducedbythedi erentpartialorderde nitions,andtheirinterrelations.

• Type: Conference
• Year: 1997
• Where: CONCUR
• Authors: Rom Langerak, Ed Brinksma, Joost-Pieter Katoen
• Keywords: Causal Ambiguity, CONCUR 1997, Di Erent Partialordersemanticsthatareintentionalinthesensethattheyrefertosyn-tacticaspectsofthemodel, Distributed And Parallel Computing