António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
21
TITLE: Foreword Full Text
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 89
AUTHORS: Mohammad Reza Mousavi; Antonio Ravara;
PUBLISHED: 2014, SOURCE: Science of Computer Programming, VOLUME: 89
INDEXED IN: CrossRef
22
TITLE: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012 Full Text
AUTHORS: Natallia Kokash; António Ravara;
PUBLISHED: 2012, SOURCE: FOCLASA, VOLUME: 91
AUTHORS: Natallia Kokash; António Ravara;
PUBLISHED: 2012, SOURCE: FOCLASA, VOLUME: 91
23
TITLE: A simple proof system for lock-free concurrency
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
AUTHORS: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLISHED: 2010, SOURCE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXED IN: DBLP
24
TITLE: Modular session types for distributed object-oriented programming
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages
AUTHORS: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLISHED: 2010, SOURCE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in Conference Record of the Annual ACM Symposium on Principles of Programming Languages