Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



121
TITLE: Behavioural Types for a Calculus of Concurrent Objects
AUTHORS: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 1997, SOURCE: Euro-Par, VOLUME: 1300 LNCS
INDEXED IN: Scopus DBLP CrossRef: 15
IN MY: ORCID
122
TITLE: Unification of Kinded Infinite Trees  Full Text
AUTHORS: Vasco Thudichum Vasconcelos ;
PUBLISHED: 1995, SOURCE: Inf. Process. Lett., VOLUME: 55, ISSUE: 6
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
123
TITLE: Predicative Polymorphism in Pi-Calculus
AUTHORS: Vasco Thudichum Vasconcelos ;
PUBLISHED: 1994, SOURCE: PARLE '94: Parallel Architectures and Languages Europe, 6th International PARLE Conference, Athens, Greece, July 4-8, 1994, Proceedings, VOLUME: 817
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
124
TITLE: Typed Concurrent Objects
AUTHORS: Vasco Thudichum Vasconcelos ;
PUBLISHED: 1994, SOURCE: Object-Oriented Programming, Proceedings of the 8th European Conference, ECOOP '94, Bologna, Italy, July 4-8, 1994, VOLUME: 821
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
125
TITLE: A Typing System for a Calculus of Objects
AUTHORS: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLISHED: 1993, SOURCE: ISOTAS, VOLUME: 742 LNCS
INDEXED IN: Scopus DBLP CrossRef: 22
IN MY: ORCID
126
TITLE: Principal Typing Schemes in a Polyadic pi-Calculus
AUTHORS: Vasco Thudichum Vasconcelos ; Kohei Honda;
PUBLISHED: 1993, SOURCE: CONCUR, VOLUME: 715 LNCS
INDEXED IN: Scopus DBLP CrossRef: 50
IN MY: ORCID
127
TITLE: Traces Semantics for Actor Systems
AUTHORS: Vasco Thudichum Vasconcelos ; Mario Tokoro;
PUBLISHED: 1991, SOURCE: Object-Based Concurrent Computing, VOLUME: 612 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
Page 13 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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