TY  - RPRT
TI  - Proving Logical Atomicity using Lock Invariants
AU  - Roshan Sharma
AU  - Shengyi Wang
AU  - Alexander Oey
AU  - Anastasiia Evdokimova
AU  - Lennart Beringer
AU  - William Mansky
PY  - 2023
UR  - https://arxiv.org/abs/2304.13898
ID  - 2304.13898
ER  -