Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



121
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: DBLP
122
TITLE: Communication errors in the pi-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
IN MY: ORCID | DBLP
123
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
124
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 '98, 3rd International Workshop on High-Level Concurrent Languages (Satellite Workshop of CONCUR '98) in Electr. Notes Theor. Comput. Sci., VOLUME: 16, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP
125
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 1998 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 1998 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1381
INDEXED IN: Scopus
126
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: WOS DBLP CrossRef
IN MY: DBLP
127
TITLE: Behavioural Types for a Calculus of Concurrent Objects
AUTHORS: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 1997, SOURCE: 3rd International Conference on Parallel Processing, Euro-Par 1997 in Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, VOLUME: 1300
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
128
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
129
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: DBLP CrossRef
IN MY: DBLP
130
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: DBLP CrossRef
IN MY: DBLP
Página 13 de 14. Total de resultados: 133.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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