Representing Dependencies in Event Structures

10/06/2019
by   G. Michele Pinna, et al.
0

Event structures where the causality may explicitly change during a computation have recently gained the stage. In this kind of event structures the changes in the set of the causes of an event are triggered by modifiers that may add or remove dependencies, thus making the happening of an event contextual. Still the focus is always on the dependencies of the event. In this paper we promote the idea that the context determined by the modifiers plays a major role, and the context itself determines not only the causes but also what causality should be. Modifiers are then used to understand when an event (or a set of events) can be added to a configuration, together with a set of events modeling dependencies, which will play a less important role. We show that most of the notions of Event Structure presented in literature can be translated into this new kind of event structure, preserving the main notion, namely the one of configuration.

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

11/30/2020

A new operational representation of dependencies in Event Structures

The execution of an event in a complex and distributed system where the ...
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...
08/23/2019

Conflict vs Causality in Event Structures

Event structures are one of the best known models for concurrency. Many ...
02/11/2018

Event Structures for Petri nets with Persistence

Event structures are a widely accepted model of concurrency. In a semina...
03/12/2020

Causal Unfoldings and Disjunctive Causes

In the simplest form of event structure, a prime event structure, an eve...
This week in AI

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