Multiprocessor Programmingにおけるプログラムの正しさ Safetyと呼ばれることも 共有オブジェクトのcorrectness Consistencyの議論になる。逐次実行との等価性が語られる。