Login / Signup

Mover Logic: A Concurrent Program Logic for Reduction and Rely-Guarantee Reasoning (Extended Version).

Cormac FlanaganStephen N. Freund
Published in: CoRR (2024)
Keyphrases