Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



51
TITLE: Protocol-based verification of message-passing parallel programs
AUTHORS: López, HA; Marques, ERB; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2015, SOURCE: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015 in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, VOLUME: 25-30-Oct-2015
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
52
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTHORS: López, HA; Marques, ERB ; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10
INDEXED IN: WOS DBLP CrossRef: 28
53
TITLE: Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)
AUTHORS: Alastair F Donaldson; Vasco T Vasconcelos ;
PUBLISHED: 2015, SOURCE: J. Log. Algebraic Methods Program., VOLUME: 84, ISSUE: 5
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID
54
TITLE: A Concurrent Programming Language with Refined Session Types
AUTHORS: Franco, J; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
55
TITLE: Affine Sessions
AUTHORS: Mostrous, D; Vasconcelos, VT ;
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: 8
IN MY: ORCID
56
TITLE: Linearity, session types and the Pi calculus
AUTHORS: Giunti, M ; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
INDEXED IN: Scopus CrossRef
IN MY: ORCID | CIÊNCIAVITAE
57
58
TITLE: The progress of session types
AUTHORS: Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8704 LNCS
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
59
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
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
IN MY: ORCID | CIÊNCIAVITAE
60
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
Page 6 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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