@inbook{Ambal2026RDMA,
    title = {Specifying and Verifying {RDMA} Synchronisation},
    author = {Ambal, Guillaume and Stupple, Max and Dongol, Brijesh and Raad, Azalea},
    booktitle = {Programming Languages and Systems},
    publisher = {Springer Nature Switzerland},
    year = {2026},
    pages = {42--71},
    venueabbr = {ESOP},
    status = {published},
    isbn = {9783032227201},
    doi = {10.1007/978-3-032-22720-1_3},
    pdf = {papers/rdma-rmw.pdf}
}