Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



121
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, VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 8
122
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'98) at the Joint European Conferences on Theory and Practice of Software (ETAPS'98) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1381
INDEXADO EM: Scopus WOS DBLP CrossRef: 407
123
TÍTULO: Behavioural Types for a Calculus of Concurrent Objects
AUTORES: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 1997, FONTE: Euro-Par, VOLUME: 1300 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 15
124
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
125
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
126
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
127
TÍTULO: A Typing System for a Calculus of Objects
AUTORES: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLICAÇÃO: 1993, FONTE: ISOTAS, VOLUME: 742 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 22
128
TÍTULO: Principal Typing Schemes in a Polyadic pi-Calculus
AUTORES: Vasco Thudichum Vasconcelos ; Kohei Honda;
PUBLICAÇÃO: 1993, FONTE: CONCUR, VOLUME: 715 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 50
129
TÍTULO: Traces Semantics for Actor Systems
AUTORES: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLICAÇÃO: 1991, FONTE: Object-Based Concurrent Computing, VOLUME: 612 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
Página 13 de 13. Total de resultados: 129.

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

Links Úteis

Ajuda

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