Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 129



121
TITLE: Distribution and Mobility with Lexical Scoping in Process Calculi
AUTHORS: Vasco Thudichum Vasconcelos ; Luís M B Lopes ; Fernando M A Silva ;
PUBLISHED: 1998, SOURCE: HLCL, VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 8
122
TITLE: Language primitives and type discipline for structured communication-based programming
AUTHORS: Honda, K; Vasconcelos, VT ; Kubo, M;
PUBLISHED: 1998, SOURCE: 7th European Symposium on Programming (ESOP'98) at the Joint European Conferences on Theory and Practice of Software (ETAPS'98) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1381
INDEXED IN: Scopus WOS DBLP CrossRef: 407
123
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
124
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
125
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
126
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
127
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
128
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
129
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
Page 13 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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