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: Scopus DBLP CrossRef
IN MY: ORCID | 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: Scopus DBLP CrossRef
IN MY: ORCID | 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: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
Page 14 of 14. Total results: 133.

A place for researchers and their institutions

Useful Links

Get Help

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