Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



61
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef: 6
62
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming
AUTORES: Luís Cruz Filipe; Ivan Lanese; Francisco Martins ; António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2014, FONTE: Formal Aspects Comput., VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus DBLP
63
TÍTULO: Typing Liveness in Multiparty Communicating Systems
AUTORES: Padovani, L; Vasconcelos, VT ; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
64
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Baltazar, P; Caires, L ; Vasconcelos, VT ; Vieira, HT ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium Trustworthy Global Computing (TGC) in TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, VOLUME: 8358
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
65
TÍTULO: Coordinating Phased Activities while Maintaining Progress
AUTORES: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, VOLUME: 7890
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
66
TÍTULO: Towards deductive verification of MPI programs against session types
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: PLACES, VOLUME: 137
INDEXADO EM: Scopus DBLP CrossRef: 7
67
TÍTULO: Typing Progress in Communication-Centred Systems
AUTORES: Vieira, HT ; Vasconcelos, VT ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, VOLUME: 7890
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
68
TÍTULO: An Algebra of Behavioural Types
AUTORES: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
69
TÍTULO: Fundamentals of session types  Full Text
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 217
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
70
TÍTULO: Linearly Refined Session Types
AUTORES: Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: LINEARITY, VOLUME: 101
INDEXADO EM: DBLP CrossRef: 3
Página 7 de 13. Total de resultados: 129.

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

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service