Armando Castañeda, Gilde Valeria Rodríguez. Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability. In Rotem Oshman, Alexandre Nolin, Magnús M. Halldórsson, Alkida Balliu, editors, Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing, PODC 2023, Orlando, FL, USA, June 19-23, 2023. pages 90-101, ACM, 2023. [doi]
Abstract is missing.