Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 129



61
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming
AUTHORS: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus WOS CrossRef: 6
62
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming
AUTHORS: Luís Cruz Filipe; Ivan Lanese; Francisco Martins ; António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: Formal Aspects Comput., VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus DBLP
63
TITLE: Typing Liveness in Multiparty Communicating Systems
AUTHORS: Padovani, L; Vasconcelos, VT ; Vieira, HT;
PUBLISHED: 2014, SOURCE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
INDEXED IN: Scopus WOS DBLP CrossRef: 20
64
TITLE: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTHORS: Baltazar, P; Caires, L ; Vasconcelos, VT ; Vieira, HT ;
PUBLISHED: 2013, SOURCE: 7th International Symposium Trustworthy Global Computing (TGC) in TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, VOLUME: 8358
INDEXED IN: Scopus WOS DBLP CrossRef: 7
65
TITLE: Coordinating Phased Activities while Maintaining Progress
AUTHORS: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
66
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: PLACES, VOLUME: 137
INDEXED IN: Scopus DBLP CrossRef: 7
67
TITLE: Typing Progress in Communication-Centred Systems
AUTHORS: Vieira, HT ; Vasconcelos, VT ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 11
68
TITLE: An Algebra of Behavioural Types
AUTHORS: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
69
TITLE: Fundamentals of session types  Full Text
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 217
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
70
TITLE: Linearly Refined Session Types
AUTHORS: Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: LINEARITY, VOLUME: 101
INDEXED IN: DBLP CrossRef: 3
Page 7 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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