Ereignisstrukturen; dynamic dependencies; dynamische Abhängigkeiten; formal model; concurrency theory; formales Model; event structures; Nebenläufigkeitstheorie;