Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



61
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
IN MY: DBLP
62
TITLE: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTHORS: Pedro Baltazar; Luis Caires ; Vasco T Vasconcelos ; Hugo Torres Vieira ;
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
IN MY: ORCID | DBLP
63
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
IN MY: ORCID | DBLP
64
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 ; Thudichum Vasconcelos, V ;
PUBLISHED: 2013, SOURCE: Formal Aspects of Computing, VOLUME: 26, ISSUE: 5
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
65
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: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP
66
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
IN MY: ORCID | DBLP
67
TITLE: An Algebra of Behavioural Types  Full Text
AUTHORS: Antonio Ravara ; Pedro Resende ; Vasco T Vasconcelos ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
68
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
69
TITLE: Linearly Refined Session Types  Full Text
AUTHORS: Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., VOLUME: 101
INDEXED IN: DBLP CrossRef
IN MY: DBLP
70
TITLE: Modular Session Types for Objects PDF
AUTHORS: Simon J. Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1205.5344
INDEXED IN: DBLP arXiv
IN MY: DBLP
Página 7 de 14. Total de resultados: 133.

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

Useful Links

Get Help

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