Concurrent = Der Vorgang kann mehrere Aufrufe gleichzeitig verarbeiten; Guarded = Jeder Aufruf muss warten, bis alle anderen ...

Concurrent = Der Vorgang kann mehrere Aufrufe gleichzeitig verarbeiten; Guarded = Jeder Aufruf muss warten, bis alle anderen Aufrufe beendet sind; Sequential = Nicht für die Verarbeitung paralleler Aufrufe ausgelegt.