TY  - RPRT
TI  - Reasoning about Weak Isolation Levels in Separation Logic
AU  - Anders Alnor Mathiasen
AU  - Léon Gondelman
AU  - Léon Ducruet
AU  - Amin Timany
AU  - Lars Birkedal
PY  - 2025
DO  - 10.1145/3747515
UR  - https://arxiv.org/abs/2501.14421
ID  - 2501.14421
ER  -