TY  - RPRT
TI  - Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version)
AU  - Cormac Flanagan
AU  - Stephen N. Freund
PY  - 2026
UR  - https://arxiv.org/abs/2407.08070
ID  - 2407.08070
ER  -