Hoare-style specifications as correctness conditions for non-linearizable concurrent objects.

Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee, Germn Andrs Delbianco

Browse the full OOPSLA paper archive.