Dynamic causality in event structures, FORTE '15 Conference Proceedings, vol.9039, pp.83-97, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01767322
Dynamic causality in event structures (technical report, 2015. ,
Dynamic Causality in Event Structures, Logical Methods in Computer Science, vol.14, issue.1, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01767322
A semantic framework for open processes, Theoretical Computer Science, vol.389, issue.3, pp.446-483, 2007. ,
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. ,
Contextual Petri nets, asymmetric event structures and processes, Information and Computation, vol.171, issue.1, pp.1-49, 2001. ,
Circular causality in event structures, Fundamenta Informaticae, vol.134, issue.3-4, pp.219-259, 2014. ,
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
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. ,
Partial order models of concurrency and the computation of functions, LICS'87 Conference Proceedings, pp.72-85, 1987. ,
Geometric logic, causality and event structures, CONCUR'91 Conference Proceedings, vol.527, pp.266-280, 1991. ,
Causal automata, Theoretical Computer Science, vol.101, issue.2, pp.265-288, 1992. ,
Semantics of inhibitor nets, Information and Computation, vol.123, pp.1-16, 1995. ,
Higher-order dynamics in event structures, ICTAC 2015 Conference Proceedings, vol.9399, pp.258-271, 2015. ,
Bundle Event Structures: A Non-Interleaving Semantics for Lotos, FORTE '92 Conference Proceedings, pp.331-346, 1992. ,
Causal ambiguity and partial orders in event structures, CONCUR'97 Conference Proceedings, vol.1243, pp.317-331, 1997. ,
Transition systems, link graphs and petri nets, Mathematical Structures in Computer Science, vol.16, issue.6, pp.989-1047, 2006. ,
Petri Nets, Event Structures and Domains, Part 1, Theoretical Computer Science, vol.13, pp.85-108, 1981. ,
Reversibility and asymmetric conflict in event structures, Journal of Logic and Algebraic Methods in Programming, vol.84, issue.6, pp.781-805, 2015. ,
Event structures with disabling/enabling relation and event automata, Fundamenta Informaticae, vol.73, issue.3, pp.409-430, 2006. ,
On the nature of events, MFCS'92 Conference Proceedings, vol.629, pp.430-441, 1992. ,
On the nature of events: another perspective in concurrency, Theoretical Computer Science, vol.138, issue.2, pp.425-454, 1995. ,
Modeling dependencies and simultaneity in membrane system computations, Theoretical Computer Science, vol.431, pp.13-39, 2012. ,
Petri Nets: An Introduction, EACTS Monographs on Theoretical Computer Science, 1985. ,
Posets for configurations, CONCUR'92 Conference Proceedings, vol.630, pp.269-285 ,
, , 1992.
Event structures for resolvable conflict, MFCS'04 Conference Proceedings, vol.3153, pp.550-561, 2004. ,
Event Structures, Petri Nets: Central Models and Their Properties, vol.255, pp.325-392, 1987. ,
URL : https://hal.archives-ouvertes.fr/hal-00148921