On Register Linearizability and Termination.

Vassos Hadzilacos, Xing Hu, Sam Toueg

Browse the full PODC paper archive.