Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



61
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
NO MEU: ORCID | DBLP
62
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Pedro Baltazar; Luis Caires ; Vasco T Vasconcelos ; Hugo Torres Vieira ;
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
NO MEU: ORCID | DBLP
63
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
NO MEU: ORCID | DBLP
64
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A ; Thudichum Vasconcelos, V ;
PUBLICAÇÃO: 2013, FONTE: Formal Aspects of Computing, VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
65
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: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP
66
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
NO MEU: ORCID | DBLP
67
TÍTULO: An Algebra of Behavioural Types  Full Text
AUTORES: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP
68
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
69
TÍTULO: Linearly Refined Session Types  Full Text
AUTORES: Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., VOLUME: 101
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
70
TÍTULO: Modular Session Types for Objects PDF
AUTORES: Simon J Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1205.5344
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
Página 7 de 14. Total de resultados: 133.

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

Links Úteis

Ajuda

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