Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



111
TITLE: Fine-grained multithreading with process calculi
AUTHORS: Lopes, L ; Vasconcelos, VT ; Silva, F ;
PUBLISHED: 2001, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 50, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
112
TITLE: A concurrent programming environment with support for distributed computations and code mobility
AUTHORS: Lopes, L ; Figueira, A ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: 2nd Annual IEEE International Conference on Cluster Computing in CLUSTER 2000: IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PROCEEDINGS, VOLUME: 2000-January
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
113
TITLE: Fine grained multithreading with process calculi
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
114
TITLE: Secure information flow as typed process behaviour
AUTHORS: Honda, K; Vasconcelos, V ; Yoshida, N;
PUBLISHED: 2000, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 2000) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 1782
INDEXED IN: Scopus WOS DBLP CrossRef: 43
IN MY: ORCID
115
TITLE: Typing Non-uniform Concurrent Objects
AUTHORS: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2000, SOURCE: 11th International Conference on Concurrency Theory, CONCUR 2000 in CONCUR, VOLUME: 1877 LNCS
INDEXED IN: Scopus DBLP CrossRef: 16
IN MY: ORCID
116
TITLE: A virtual machine for a process calculus
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
117
TITLE: Communication errors in the π-calculus are undecidable  Full Text
AUTHORS: Vasconcelos, VT ; Ravara, A ;
PUBLISHED: 1999, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 71, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID
118
TITLE: Processes, functions, and datatypes  Full Text
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: THEORY AND PRACTICE OF OBJECT SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
119
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
IN MY: ORCID
120
TITLE: Language primitives and type discipline for structured communication-based programming  Full Text
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: 403
IN MY: ORCID
Page 12 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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