Nan Li, Wojciech M. Golab. Detectable Sequential Specifications for Recoverable Shared Objects. In Seth Gilbert, editor, 35th International Symposium on Distributed Computing, DISC 2021, October 4-8, 2021, Freiburg, Germany (Virtual Conference). Volume 209 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. [doi]
Abstract is missing.