Hoare-style specifications as correctness conditions for non-linearizable concurrent objects | Publicación