Login
NOVA LINCS

Filipe Militão

People

Publications Projects Graduations Prototypes Seminars

Composing Interfering Abstract Protocols

InProceedings

Published in 22/07/2016

Authors

Filipe Militão, Jonathan Aldrich, Luis Caires, Shriram Krishnamurthi, Benjamin S. Lerner,

Rely-Guarantee Protocols for Safe Interference over Shared Memory

Dissertations PhD

Published in 01/12/2015

Authors

Filipe Militão, Luis Caires, Jonathan Aldrich,

Rely-Guarantee Protocols

InProceedings

Published in 01/06/2014

Authors

Filipe Militão, Jonathan Aldrich, Luis Caires,

Substructural typestates

InProceedings

Published in 01/01/2014

Authors

Filipe Militão, Luis Caires,