@misc{indiciaeb3f440b599c2, title = {Abstraction for Crash-Resilient Objects (Extended Version)}, author = {Artem Khyzha and Ori Lahav}, year = {2022}, url = {https://arxiv.org/abs/2111.03881}, note = {Source identifier: 2111.03881} }