Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



121
TÍTULO: A virtual machine for a process calculus
AUTORES: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 1999, FONTE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP
122
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 | DBLP
123
TÍTULO: Processes, functions, and datatypes  Full Text
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 1999, FONTE: THEORY AND PRACTICE OF OBJECT SYSTEMS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
124
TÍTULO: Distribution and Mobility with Lexical Scoping in Process Calculi
AUTORES: Vasco Thudichum Vasconcelos ; Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 1998, FONTE: HLCL '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98) in Electr. Notes Theor. Comput. Sci., VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP
125
TÍTULO: Language primitives and type discipline for structured communication-based programming
AUTORES: Honda, K; Vasconcelos, VT ; Kubo, M;
PUBLICAÇÃO: 1998, FONTE: 7th European Symposium on Programming, ESOP 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1381
INDEXADO EM: Scopus
NO MEU: ORCID
126
TÍTULO: Language primitives and type discipline for structured communication-based programming  Full Text
AUTORES: Honda, K; Vasconcelos, VT ; Kubo, M;
PUBLICAÇÃO: 1998, FONTE: 7th European Symposium on Programming (ESOP'98) at the Joint European Conferences on Theory and Practice of Software (ETAPS'98) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1381
INDEXADO EM: WOS DBLP CrossRef
NO MEU: DBLP
127
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 | DBLP
128
TÍTULO: Unification of Kinded Infinite Trees  Full Text
AUTORES: Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 1995, FONTE: Inf. Process. Lett., VOLUME: 55, NÚMERO: 6
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
129
TÍTULO: Predicative Polymorphism in Pi-Calculus
AUTORES: Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 1994, FONTE: PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, VOLUME: 817
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
130
TÍTULO: Typed Concurrent Objects
AUTORES: Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 1994, FONTE: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, VOLUME: 821
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 13 de 14. Total de resultados: 133.

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