Conflict vs Causality in Event Structures

08/23/2019
by   Daniele Gorla, et al.
0

Event structures are one of the best known models for concurrency. Many variants of the basic model and many possible notions of equivalence for them have been devised in the literature. In this paper, we study how the spectrum of equivalences for Labelled Prime Event Structures built by Van Glabbeek and Goltz changes if we consider two simplified notions of event structures: the first is obtained by removing the causality relation (Coherence Spaces) and the second by removing the conflict relation (Elementary Event Structures). As expected, in both cases the spectrum turns out to be simplified, since some notions of equivalence coincide in the simplified settings; actually, we prove that removing causality simplifies the spectrum considerably more than removing conflict. Furthermore, while the labeling of events and their cardinality play no role when removing causality, both the labeling function and the cardinality of the event set dramatically influence the spectrum of equivalences in the conflict-free setting.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

01/09/2018

Dynamic Causality in Event Structures

Event Structures (ESs) address the representation of direct relationship...
07/16/2019

Minimisation of Event Structures

Event structures are fundamental models in concurrency theory, providing...
10/06/2019

Representing Dependencies in Event Structures

Event structures where the causality may explicitly change during a comp...
03/12/2020

Causal Unfoldings and Disjunctive Causes

In the simplest form of event structure, a prime event structure, an eve...
06/24/2019

Conversational Response Re-ranking Based on Event Causality and Role Factored Tensor Event Embedding

We propose a novel method for selecting coherent and diverse responses f...
06/27/2022

Geo-Situation for Modeling Causality of Geo-Events in Knowledge Graphs

This paper proposes a framework for representing and reasoning causality...
05/16/2003

On Nonspecific Evidence

When simultaneously reasoning with evidences about several different eve...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.