Causal Unfoldings and Disjunctive Causes

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 ma...

Full description

Bibliographic Details
Main Authors: Marc de Visme, Glynn Winskel
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2023-04-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/6202/pdf