Ingenieurgerechte spezifikation der Synchronisierung paralleler rechenprozesse | lit.salon