Nan Li, Wojciech M. Golab. Brief Announcement: Detectable Sequential Specifications for Recoverable Shared Objects. In Avery Miller, Keren Censor Hillel, Janne H. Korhonen, editors, PODC '21: ACM Symposium on Principles of Distributed Computing, Virtual Event, Italy, July 26-30, 2021. pages 557-560, ACM, 2021. [doi]
Abstract is missing.