Determinismus, Synchronisation

• alle Tätigkeiten entlang eines Pfades (ohne Entscheidungspunkte) müssen ausgeführt werden, und zwar in genau der angegebenen Reihenfolge.

  Beachte: das gilt auch über fork/join hinweg!

• die gegenseitige Reihenfolge der Tätigkeiten in ``benachbarten'' Pfaden ist nicht vorgeschrieben.
• in jedem Entscheidungspunkt soll es (nach Auswerten aller Bedingungen) genau eine Fortsetzung geben

TODO: Übungsaufgaben