The Total Correctness of Parallel Programs

Lawrence Flon, Norihisa Suzuki. The Total Correctness of Parallel Programs. SIAM Journal on Computing, 10(2):227-246, 1981.

Abstract

Abstract is missing.