Program correctness
#Multiprocessor_Programming
Multiprocessor Programming
におけるProgram Correctnessは、
Safety
と
Liveness
に大別される