Filipe Militão

Publication Activity (10 Years)

Years Active: 2010-2016
Publications (10 Years): 1

Top Topics

Communication Protocols

Propositional Calculus

Top Venues

Publications

Filipe Militão, Jonathan Aldrich, Luís Caires
Composing Interfering Abstract Protocols. ECOOP (2016)
Filipe Militão, Jonathan Aldrich, Luís Caires
Substructural typestates. PLPV (2014)
Filipe Militão, Jonathan Aldrich, Luís Caires
Rely-Guarantee Protocols. ECOOP (2014)
Filipe Militão, Jonathan Aldrich, Luís Caires
Aliasing control with view-based typestate. FTfJP@ECOOP (2010)