This approach may be applied to the analysis of correctness of parallel and distributed programs.
Dieser Ansatz konnte zur Analyse der Genauigkeit von parallelen und verteilten Programmen angewandt werden.