Dynamic Causality in Event Structures, 2015. ,
DOI : 10.1007/978-3-319-19195-9_6
URL : https://hal.archives-ouvertes.fr/hal-01767322
Domain and event structure semantics for Petri nets with read and inhibitor arcs, Theoretical Computer Science, vol.323, pp.1-3129, 2004. ,
DOI : 10.1016/j.tcs.2004.04.001
URL : https://doi.org/10.1016/j.tcs.2004.04.001
Contextual Petri Nets, Asymmetric Event Structures, and Processes. Information and Computation, pp.1-49, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-00776752
Flow Models of Distributed Computations: Three Equivalent Semantics for CCS, Information and Computation, vol.114, issue.2, pp.247-314, 1994. ,
DOI : 10.1006/inco.1994.1088
URL : https://hal.archives-ouvertes.fr/inria-00075078
Event Structure Semantics of Parallel Extrusion in the Pi-Calculus, Proceedings of FoSSaCS, pp.225-239, 2012. ,
DOI : 10.1007/978-3-642-28729-9_15
URL : https://hal.archives-ouvertes.fr/hal-00687502
Quantitative and Qualitative Extensions of Event Structures, 1996. ,
Pomsets for Local Trace Languages, Proceedings of CONCUR, pp.426-441, 2000. ,
DOI : 10.1007/3-540-44618-4_31
Transformations and Semantics for LOTOS, 1992. ,
Causal ambiguity and partial orders in event structures, Proceedings of CONCUR, pp.317-331, 1997. ,
DOI : 10.1007/3-540-63141-0_22
URL : http://www.ub.utwente.nl/webdocs/ctit/1/00000001.pdf
Dealing with forward and backward jumps in workflow management systems, Software and Systems Modeling, pp.37-58, 2003. ,
Posets for Configurations! In Proceedings of CONCUR, LNCS, vol.630, pp.269-285, 1992. ,
Event Structures for Resolvable Conflict, Proceedings of MFCS, pp.550-561, 2004. ,
DOI : 10.1007/978-3-540-28629-5_42
Change patterns and change support features ??? Enhancing flexibility in process-aware information systems, Data & Knowledge Engineering, vol.66, issue.3, pp.438-466, 2008. ,
DOI : 10.1016/j.datak.2008.05.001