Y. Arbach, D. Karcher, K. Peters, and U. Nestmann, Dynamic causality in event structures, FORTE '15 Conference Proceedings, vol.9039, pp.83-97, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01767322

Y. Arbach, D. Karcher, K. Peters, and U. Nestmann, Dynamic causality in event structures (technical report, 2015.

Y. Arbach, D. S. Karcher, K. Peters, and U. Nestmann, Dynamic Causality in Event Structures, Logical Methods in Computer Science, vol.14, issue.1, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01767322

P. Baldan, A. Bracciali, and R. Bruni, A semantic framework for open processes, Theoretical Computer Science, vol.389, issue.3, pp.446-483, 2007.

P. Baldan, N. Busi, A. Corradini, and G. M. Pinna, Domain and event structure semantics for Petri nets with read and inhibitor arcs, Theoretical Computer Science, vol.323, issue.1-3, pp.129-189, 2004.

P. Baldan, A. Corradini, and U. Montanari, Contextual Petri nets, asymmetric event structures and processes, Information and Computation, vol.171, issue.1, pp.1-49, 2001.

M. Bartoletti, T. Cimoli, G. M. Pinna, and R. Zunino, Circular causality in event structures, Fundamenta Informaticae, vol.134, issue.3-4, pp.219-259, 2014.

G. Boudol, Flow Event Structures and Flow Nets, Semantics of System of Concurrent Processes, vol.469, pp.62-95, 1990.
URL : https://hal.archives-ouvertes.fr/inria-00075080

H. Gaifman, Modeling concurrency by partial orders and nonlinear transition systems, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, REX Workshop, vol.354, pp.467-488, 1989.

H. Gaifman and V. R. Pratt, Partial order models of concurrency and the computation of functions, LICS'87 Conference Proceedings, pp.72-85, 1987.

J. Gunawardena, Geometric logic, causality and event structures, CONCUR'91 Conference Proceedings, vol.527, pp.266-280, 1991.

J. Gunawardena, Causal automata, Theoretical Computer Science, vol.101, issue.2, pp.265-288, 1992.

R. Janicki and M. Koutny, Semantics of inhibitor nets, Information and Computation, vol.123, pp.1-16, 1995.

D. S. Karcher and U. Nestmann, Higher-order dynamics in event structures, ICTAC 2015 Conference Proceedings, vol.9399, pp.258-271, 2015.

R. Langerak, Bundle Event Structures: A Non-Interleaving Semantics for Lotos, FORTE '92 Conference Proceedings, pp.331-346, 1992.

R. Langerak, E. Brinksma, and J. Katoen, Causal ambiguity and partial orders in event structures, CONCUR'97 Conference Proceedings, vol.1243, pp.317-331, 1997.

J. J. Leifer and R. Milner, Transition systems, link graphs and petri nets, Mathematical Structures in Computer Science, vol.16, issue.6, pp.989-1047, 2006.

M. Nielsen, G. Plotkin, and G. Winskel, Petri Nets, Event Structures and Domains, Part 1, Theoretical Computer Science, vol.13, pp.85-108, 1981.

I. Phillips and I. Ulidowski, Reversibility and asymmetric conflict in event structures, Journal of Logic and Algebraic Methods in Programming, vol.84, issue.6, pp.781-805, 2015.

G. M. Pinna, Event structures with disabling/enabling relation and event automata, Fundamenta Informaticae, vol.73, issue.3, pp.409-430, 2006.

G. M. Pinna and A. Poigné, On the nature of events, MFCS'92 Conference Proceedings, vol.629, pp.430-441, 1992.

G. M. Pinna and A. Poigné, On the nature of events: another perspective in concurrency, Theoretical Computer Science, vol.138, issue.2, pp.425-454, 1995.

G. M. Pinna and A. Saba, Modeling dependencies and simultaneity in membrane system computations, Theoretical Computer Science, vol.431, pp.13-39, 2012.

W. Reisig, Petri Nets: An Introduction, EACTS Monographs on Theoretical Computer Science, 1985.

A. Rensink, Posets for configurations, CONCUR'92 Conference Proceedings, vol.630, pp.269-285

, , 1992.

R. J. Van-glabbeek and G. D. Plotkin, Event structures for resolvable conflict, MFCS'04 Conference Proceedings, vol.3153, pp.550-561, 2004.

G. Winskel, W. Brauer, and W. Reisig, Event Structures, Petri Nets: Central Models and Their Properties, vol.255, pp.325-392, 1987.
URL : https://hal.archives-ouvertes.fr/hal-00148921