António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
51
TÃTULO: A simple proof system for lock-free concurrency
AUTORES: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLICAÇÃO: 2010, FONTE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
AUTORES: Luís Caires ; Carla Ferreira ; António Ravara;
PUBLICAÇÃO: 2010, FONTE: International Workshop on Proof Systems for Program Logics, PSPL 2010, Edinburgh, Scotland, UK, July 10, 2010, VOLUME: 12
INDEXADO EM: 
DBLP
DBLP52
TÃTULO: Modular Session Types for Distributed Object-Oriented Programming
AUTORES: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLICAÇÃO: 2010, FONTE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
AUTORES: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLICAÇÃO: 2010, FONTE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
53
TÃTULO: Foreword
AUTORES: António Ravara;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
AUTORES: António Ravara;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID54
TÃTULO: Foreword
AUTORES: António Ravara;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5523
AUTORES: António Ravara;
PUBLICAÇÃO: 2009, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5523
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID55
TÃTULO: A Lexically Scoped Distributed $\pi$-Calculus
AUTORES: António Ravara; Ana Matos; Vasco T Vasconcelos; Luís Lopes;
PUBLICAÇÃO: 2002
AUTORES: António Ravara; Ana Matos; Vasco T Vasconcelos; Luís Lopes;
PUBLICAÇÃO: 2002
INDEXADO EM: 
Handle
Handle56
TÃTULO: Semantics of objects as processes (SOAP)
AUTORES: Nestmann, U; Ravara, A;
PUBLICAÇÃO: 1999, FONTE: 13th European Conference on Object-Oriented Programming, ECOOP 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1743
AUTORES: Nestmann, U; Ravara, A;
PUBLICAÇÃO: 1999, FONTE: 13th European Conference on Object-Oriented Programming, ECOOP 1999 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1743
