Characterizing Progress Properties of Concurrent Objects via Contextual Refinements.

Hongjin Liang, Jan Hoffmann, Xinyu Feng, Zhong Shao

Browse the full CONCUR paper archive.