Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



121
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
NO MEU: ORCID
122
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
123
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
124
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
125
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
NO MEU: ORCID
126
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
NO MEU: ORCID
127
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
NO MEU: ORCID
Página 13 de 13. Total de resultados: 127.

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