Reasoning about Progress of Concurrent Objects

POPL 2020