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

Lawrence Flon, Norihisa Suzuki

Browse the full FOCS paper archive.