Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



141
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: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
142
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: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
143
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: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 15 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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