António Maria Lobo César Alarcão Ravara
AuthID: R-000-2C4
41
TÃTULO: The stream-based service-centred calculus: a foundation for service-oriented programming Full Text
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, NÚMERO: 5
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, NÚMERO: 5
42
TÃTULO: Session types as generic process types Full Text
AUTORES: Gay, SJ; Gesbert, N; Ravara, A;
PUBLICAÇÃO: 2014, FONTE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
AUTORES: Gay, SJ; Gesbert, N; Ravara, A;
PUBLICAÇÃO: 2014, FONTE: Combined 21st International Workshop on Expressiveness in Concurrency and 11th Workshop on Structural Operational Semantics, EXPRESS/SOS 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 160
43
TÃTULO: Foreword Full Text
AUTORES: Mohammad Reza Mousavi; Antonio Ravara;
PUBLICAÇÃO: 2014, FONTE: Science of Computer Programming, VOLUME: 89
AUTORES: Mohammad Reza Mousavi; Antonio Ravara;
PUBLICAÇÃO: 2014, FONTE: Science of Computer Programming, VOLUME: 89
44
TÃTULO: Preface to special issue: behavioural types
AUTORES: SIMON J GAY; ANTÓNIO RAVARA;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci.
AUTORES: SIMON J GAY; ANTÓNIO RAVARA;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci.
45
TÃTULO: Preface to special issue: behavioural types
AUTORES: SIMON J GAY; ANTÓNIO RAVARA;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 26, NÚMERO: 02
AUTORES: SIMON J GAY; ANTÓNIO RAVARA;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 26, NÚMERO: 02
46
TÃTULO: Proceedings 11th International Workshop on Foundations of Coordination Languages and Self Adaptation, FOCLASA 2012, Newcastle, U.K., September 8, 2012 Full Text
AUTORES: Natallia Kokash; António Ravara;
PUBLICAÇÃO: 2012, FONTE: FOCLASA, VOLUME: 91
AUTORES: Natallia Kokash; António Ravara;
PUBLICAÇÃO: 2012, FONTE: FOCLASA, VOLUME: 91
47
TÃTULO: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2011, Aachen, Germany, 10th September, 2011 Full Text
AUTORES: Mohammad Reza Mousavi; António Ravara;
PUBLICAÇÃO: 2011, FONTE: FOCLASA, VOLUME: 58
AUTORES: Mohammad Reza Mousavi; António Ravara;
PUBLICAÇÃO: 2011, FONTE: FOCLASA, VOLUME: 58
48
TÃTULO: Foreword
AUTORES: Mohammad Reza Mousavi; Antonio Ravara;
PUBLICAÇÃO: 2011, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 58
AUTORES: Mohammad Reza Mousavi; Antonio Ravara;
PUBLICAÇÃO: 2011, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 58
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID49
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
DBLP50
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
