Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning.

Cormac Flanagan, Stephen N. Freund

Browse the full ECOOP paper archive.