Rely-Guarantee Protocols for Safe Interference over Shared Memory

Authors

Filipe Militão, Luis Caires, Jonathan Aldrich,