Dissertations details

  • Rely-Guarantee Protocols for Safe Interference over Shared Memory
  • Dec 2015
  • Universidade Nova de Lisboa
  • Filipe Militão
  • Luis Caires, Jonathan Aldrich