Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



131
TÍTULO: A Typing System for a Calculus of Objects
AUTORES: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLICAÇÃO: 1993, FONTE: Object Technologies for Advanced Software, First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings, VOLUME: 742
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
132
TÍTULO: Principal Typing Schemes in a Polyadic pi-Calculus
AUTORES: Vasco Thudichum Vasconcelos ; Kohei Honda;
PUBLICAÇÃO: 1993, FONTE: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, VOLUME: 715
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
133
TÍTULO: Traces Semantics for Actor Systems
AUTORES: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLICAÇÃO: 1991, FONTE: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, VOLUME: 612
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
Página 14 de 14. Total de resultados: 133.

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