Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



101
TITLE: Typing the behavior of software components using session types  Full Text
AUTHORS: Vallecillo, A; Vasconcelos, VT ; Ravara, A ;
PUBLISHED: 2006, SOURCE: 1st International Workshop on Foundations of Coordination Languages & Software Architectures (FOCLASA 02) in FUNDAMENTA INFORMATICAE, VOLUME: 73, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID
102
TITLE: A software framework for rapid prototyping of run-time systems for mobile calculi  Full Text
AUTHORS: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: ORCID
103
TITLE: History-Based Access Control for Distributed Processes
AUTHORS: Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2005, SOURCE: TGC, VOLUME: 3705 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
104
TITLE: Lambda and pi calculi, CAM and SECD machines
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 2005, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 15, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
105
TITLE: MiKO - Mikado Koncurrent Objects
AUTHORS: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2005, SOURCE: Foundations of Global Computing, VOLUME: 5081
INDEXED IN: Scopus DBLP
106
TITLE: Session types for functional multithreading
AUTHORS: Vasconcelos, V ; Ravara, A ; Gay, S;
PUBLISHED: 2004, SOURCE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXED IN: Scopus WOS DBLP CrossRef: 22 Handle
IN MY: ORCID
107
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID
108
TITLE: Lexically scoped distribution: what you see is what you get
AUTHORS: António Ravara ; Ana Gualdina Almeida Matos ; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLISHED: 2003, SOURCE: FGC, VOLUME: 85, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
109
TITLE: The Impact of Linearity Information on the Performance of TyCO
AUTHORS: Francisco Martins ; Luís M B Lopes ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2002, SOURCE: TIP@MPC, VOLUME: 75
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID
110
TITLE: Typing the Behavior of Objects and Component Using Session Types
AUTHORS: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLISHED: 2002, SOURCE: FOCLASA, VOLUME: 68, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: ORCID
Page 11 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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