Minimisation of Event Structures

07/16/2019
by   Paolo Baldan, et al.
0

Event structures are fundamental models in concurrency theory, providing a representation of events in computation and of their relations, notably concurrency, conflict and causality. In this paper we present a theory of minimisation for event structures. Working in a class of event structures that generalises many stable event structure models in the literature (e.g., prime, asymmetric, flow and bundle event structures), we study a notion of behaviour-preserving quotient, referred to as a folding, taking (hereditary) history preserving bisimilarity as a reference behavioural equivalence. We show that for any event structure a folding producing a uniquely determined minimal quotient always exists. We observe that each event structure can be seen as the folding of a prime event structure, and that all foldings between general event structures arise from foldings of (suitably defined) corresponding prime event structures. This gives a special relevance to foldings in the class of prime event structures, which are studied in detail. We identify folding conditions for prime and asymmetric event structures, and show that also prime event structures always admit a unique minimal quotient (while this is not the case for various other event structure models).

READ FULL TEXT

Authors

page 1

page 2

page 3

page 4

03/12/2020

Causal Unfoldings and Disjunctive Causes

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

Reversible Causal Nets and Reversible Event Structures

One of the well-known results in concurrency theory concerns the relatio...
01/01/2022

Event structure semantics for multiparty sessions

We propose an interpretation of multiparty sessions as "flow event struc...
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...
10/06/2019

Representing Dependencies in Event Structures

Event structures where the causality may explicitly change during a comp...
06/06/2011

Nearest Prime Simplicial Complex for Object Recognition

The structure representation of data distribution plays an important rol...
This week in AI

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