Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



131
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 | CIÊNCIAVITAE
132
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 | CIÊNCIAVITAE
133
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 | CIÊNCIAVITAE
134
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 | CIÊNCIAVITAE
135
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 | CIÊNCIAVITAE
136
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
137
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 | CIÊNCIAVITAE
138
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 | CIÊNCIAVITAE
139
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 | CIÊNCIAVITAE
140
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 | CIÊNCIAVITAE
Página 14 de 15. Total de resultados: 143.

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

Links Úteis

Ajuda

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