Progress guarantee for parallel programs via bounded lock-freedom.

Erez Petrank, Madanlal Musuvathi, Bjarne Steensgaard

Browse the full PLDI paper archive.