Higher-Order Dynamics in Event Structures
Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Recently, Arbach et al. introduced the new Dynamic Causality Event Structure (DCES), in which some event may change the causal dependencies of other events, by adding or dropping causal predecessors. Interestingly, DCES turned out to be incomparable—concerning their expressive power—to van Glabbeek’s and Plotkin’s Event Structure for Resolvable Conflicts (RCES), up to then considered to be one of the most general ES models.
In this paper, also motivated by process modelling in the health care domain, we present a generalisation of the DCESs, by firstly allowing sets of events for modifying dependencies, and secondly by introducing higher-order dynamics. We show that the newly defined structure is strictly more expressive than the RCESs.
- 2.Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures (Technical report) (2015). Available from http://www.arxiv.org/
- 5.Langerak, R.: Transformations and Semantics for LOTOS. Ph.D. thesis, Twente (1992)Google Scholar
- 6.Trénous, J.: On the Utility and Usability of Event Structures to Model Dynamic Processes in a Clinical Case Study. Bachelor Thesis in Computer Science, to be submitted in August 2015Google Scholar
- 9.Winskel, G.: Events in Computation. Ph.D. thesis, Edinburgh (1980)Google Scholar
- 11.Winskel, G.: Distributed probabilistic and quantum strategies. In: Proceedings of MFPS. ENTCS, vol. 298, pp. 403–425. Elsevier (2013)Google Scholar