This approach may be applied to the analysis of correctness of parallel and distributed programs.
Detta tillvägagångssätt kan tillämpas vid analysen av grad av korrekthet för parallella och distribuerade program.