Towards Proving Liveness on Weak Memory.

Lara Bargmann, Heike Wehrheim

Browse the full FM paper archive.