Abstract
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.
Supported by the DFG Research Training Group SOAMED.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures. In: Graf, S., Viswanathan, M. (eds.) Formal Techniques for Distributed Objects, Components, and Systems. LNCS, vol. 9039, pp. 83–97. Springer, Heidelberg (2015)
Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures (Technical report) (2015). Available from http://www.arxiv.org/
Boudol, G., Castellani, I.: Flow models of distributed computations: three equivalent semantics for CCS. Inf. Comput. 114(2), 247–314 (1994)
Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 343–350. Springer, Heidelberg (2012)
Langerak, R.: Transformations and Semantics for LOTOS. Ph.D. thesis, Twente (1992)
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 2015
van Glabbeek, R.J., Plotkin, G.: Event structures for resolvable conflict. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 550–561. Springer, Heidelberg (2004)
van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and petri nets. Theor. Comput. Sci. 410(41), 4111–4159 (2009). Festschrift for Mogens Nielsen 60th birthday
Winskel, G.: Events in Computation. Ph.D. thesis, Edinburgh (1980)
Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 364–397. Springer, Heidelberg (1989)
Winskel, G.: Distributed probabilistic and quantum strategies. In: Proceedings of MFPS. ENTCS, vol. 298, pp. 403–425. Elsevier (2013)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Karcher, D.S., Nestmann, U. (2015). Higher-Order Dynamics in Event Structures. In: Leucker, M., Rueda, C., Valencia, F. (eds) Theoretical Aspects of Computing - ICTAC 2015. ICTAC 2015. Lecture Notes in Computer Science(), vol 9399. Springer, Cham. https://doi.org/10.1007/978-3-319-25150-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-25150-9_16
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-25149-3
Online ISBN: 978-3-319-25150-9
eBook Packages: Computer ScienceComputer Science (R0)