@misc{zhang2026-logatom-completeness,
    author = {Zichen Zhang and Simon Oddershede Gregersen and Joseph Tassarotti},
    title = {Completeness of Logical Atomicity for Linearizability in Concurrent Separation Logic},
    year = {2026},
    eprint = {2607.11435},
    archivePrefix = {arXiv},
    primaryClass = {cs.LO},
    doi = {10.48550/arXiv.2607.11435},
    url={https://arxiv.org/abs/2607.11435}
}