Login

Publication

Detail

Publication date: 01/12/2015

Rely-Guarantee Protocols for Safe Interference over Shared Memory

Authors

Filipe Militão, Luis Caires, Jonathan Aldrich,
Entity Universidade Nova de Lisboa
Category PhD
Entity Universidade Nova de Lisboa
Category PhD