Causal Unfoldings and Disjunctive Causes

by   Marc de Visme, et al.

In the simplest form of event structure, a prime event structure, an event is associated with a unique causal history, its prime cause. However, it is quite common for an event to have disjunctive causes in that it can be enabled by any one of multiple sets of causes. Sometimes the sets of causes may be mutually exclusive, inconsistent one with another, and sometimes not, in which case they coexist consistently and constitute parallel causes of the event. The established model of general event structures can model parallel causes. On occasion however such a model abstracts too far away from the precise causal histories of events to be directly useful. For example, sometimes one needs to associate probabilities with different, possibly coexisting, causal histories of a common event. Ideally, the causal histories of a general event structure would correspond to the configurations of its causal unfolding to a prime event structure; and the causal unfolding would arise as a right adjoint to the embedding of prime in general event structures. But there is no such adjunction. However, a slight extension of prime event structures remedies this defect and provides a causal unfolding as a universal construction. Prime event structures are extended with an equivalence relation in order to dissociate the two roles, that of an event and its enabling; in effect, prime causes are labelled by a disjunctive event, an equivalence class of its prime causes. With this enrichment a suitable causal unfolding appears as a pseudo right adjoint. The adjunction relies critically on the central and subtle notion of extremal causal realisation as an embodiment of causal history. Finally, we explore subcategories which support parallel causes as well the key operations needed in developing probabilistic distributed strategies with parallel causes.



There are no comments yet.


page 1

page 2

page 3

page 4


Minimisation of Event Structures

Event structures are fundamental models in concurrency theory, providing...

Event Structures for Petri nets with Persistence

Event structures are a widely accepted model of concurrency. In a semina...

Reversible Causal Nets and Reversible Event Structures

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

Event structure semantics for multiparty sessions

We propose an interpretation of multiparty sessions as "flow event struc...

Conflict vs Causality in Event Structures

Event structures are one of the best known models for concurrency. Many ...

Representing Dependencies in Event Structures

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

The Temporal Logic of Causal Structures

Computational analysis of time-course data with an underlying causal str...
This week in AI

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