António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
51
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 POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT 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 POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
52
TITLE: Foreword
AUTHORS: António Ravara;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
AUTHORS: António Ravara;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID53
TITLE: Foreword
AUTHORS: António Ravara;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5523
AUTHORS: António Ravara;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5523
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID54
TITLE: A Lexically Scoped Distributed $\pi$-Calculus
AUTHORS: António Ravara; Ana Matos; Vasco T Vasconcelos; Luís Lopes;
PUBLISHED: 2002
AUTHORS: António Ravara; Ana Matos; Vasco T Vasconcelos; Luís Lopes;
PUBLISHED: 2002
INDEXED IN: 
Handle
Handle55
TITLE: Semantics of objects as processes (SOAP)
AUTHORS: Nestmann, U; Ravara, A;
PUBLISHED: 1999, SOURCE: 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
AUTHORS: Nestmann, U; Ravara, A;
PUBLISHED: 1999, SOURCE: 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
