TY  - RPRT
TI  - Abstraction for Crash-Resilient Objects (Extended Version)
AU  - Artem Khyzha
AU  - Ori Lahav
PY  - 2022
UR  - https://arxiv.org/abs/2111.03881
ID  - 2111.03881
ER  -