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