Title: Ingenieurgerechte spezifikation der Synchronisierung paralleler rechenprozesse