- Record: found
- Abstract: not found
- Book Chapter: not found
Formal Techniques for Distributed Objects, Components, and Systems
Dynamic Causality in Event Structures
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references13
- Record: found
- Abstract: not found
- Article: not found
Change patterns and change support features – Enhancing flexibility in process-aware information systems
- Record: found
- Abstract: not found
- Article: not found
Dealing with forward and backward jumps in workflow management systems
Manfred Reichert, Peter Dadam, Thomas Bauer (2003)
- Record: found
- Abstract: not found
- Article: not found
Contextual Petri Nets, Asymmetric Event Structures, and Processes
Paolo Baldan, Andrea Corradini, Ugo Montanari (2001)