Graduation details

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

Jan 2010 - Dec 2015

Abstract:

Start Date: 3 Jan 2010

End Date: 15 Dec 2015

Post-Graduation by: Filipe Militão

Post-Graduation Supervisor(s): Luis Caires, Jonathan Aldrich

Post-Graduation Jury(s):