Die Synchronisation verknüpft Flüsse zwischen Prozessen. Antivalenz (XOR) bedeutet entweder, oder (nur exakt ein Fall darf eintreten). Disjunktion (OR) bedeutet oder (ein oder mehrere Fälle sind denkbar) und Konjunktion (AND) bedeutet alle Fälle müssen eintreten.