ABOUT US
RESEARCH
PEOPLE
PUBLICATIONS
ARTICLES
BOOKS
BOOK CHAPTERS
DISSERTATIONS
EDITORIALS
IN PROCEEDINGS
ACTIVITIES
PROJECTS
GRADUATION ACTIVITIES
PROTOTYPES
SEMINARS
DISTINGUISHED LECTURES
EVENT ORGANIZATIONS
EDITORIAL COMMITTEES
SOCIETY
LOGIN
Dissertations details
Rely-Guarantee Protocols for Safe Interference over Shared Memory
Dec 2015
Entity:
Universidade Nova de Lisboa
Authors:
Filipe Militão
Supervisors:
Luis Caires
,
Jonathan Aldrich
Bibtex Key:
ISBN:
Url:
Notes:
DOI:
Publication File:
BACK