Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs

Consistent and Complete Proof Rules for the Total Correctness of Parallel Programs Lawrence Flon Norihisa Suzuki 184-192 conf/focs/FOCS19 1978 FOCS db/conf/focs/focs78.html#FlonS78