António Maria Lobo César Alarcão Ravara


AuthID: R-000-2C4

Publicações Confirmadas: 23



21
TÍTULO: Communication errors in the pi-calculus are undecidable  Full Text
AUTORES: Vasconcelos, VT ; Ravara, A ;
PUBLICAÇÃO: 1999, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 71, NÚMERO: 5-6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
22
TÍTULO: Semantics of objects as processes (SOAP)  Full Text
AUTORES: Nestmann, U; Ravara, A ;
PUBLICAÇÃO: 1999, FONTE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743
INDEXADO EM: WOS
23
TÍTULO: Behavioural Types for a Calculus of Concurrent Objects
AUTORES: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 1997, FONTE: 3rd International Conference on Parallel Processing, Euro-Par 1997 in Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, VOLUME: 1300
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
Página 3 de 3. Total de resultados: 23.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2024 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service