Recoverable Mutual Exclusion with Constant Amortized RMR Complexity from Standard Primitives

PODC 2020