Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



131
TITLE: A Typing System for a Calculus of Objects
AUTHORS: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLISHED: 1993, SOURCE: Object Technologies for Advanced Software, First JSSST International Symposium, Kanazawa, Japan, November 4-6, 1993, Proceedings, VOLUME: 742
INDEXED IN: DBLP CrossRef
IN MY: DBLP
132
TITLE: Principal Typing Schemes in a Polyadic pi-Calculus
AUTHORS: Vasco Thudichum Vasconcelos ; Kohei Honda;
PUBLISHED: 1993, SOURCE: CONCUR '93, 4th International Conference on Concurrency Theory, Hildesheim, Germany, August 23-26, 1993, Proceedings, VOLUME: 715
INDEXED IN: DBLP CrossRef
IN MY: DBLP
133
TITLE: Traces Semantics for Actor Systems
AUTHORS: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLISHED: 1991, SOURCE: Object-Based Concurrent Computing, ECOOP'91 Workshop, Geneva, Switzerland, July 15-16, 1991, Proceedings, VOLUME: 612
INDEXED IN: DBLP CrossRef
IN MY: DBLP
Página 14 de 14. Total de resultados: 133.

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

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service