PhD - Rely-Guarantee Protocols for Safe Interference over Shared Memory

Authors

Post-Graduation Supervisor: Luis Caires
Post-Graduation by: Filipe Militão
Post-Graduation Supervisor: Jonathan Aldrich