71
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
72
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
73
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: DBLP
74
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: 7
75
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
76
TITLE: An Algebra of Behavioural Types  Full Text
AUTHORS: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXED IN: Scopus WOS DBLP CrossRef Handle
77
TITLE: Fundamentals of session types  Full Text
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 217
INDEXED IN: Scopus WOS DBLP CrossRef
78
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
79
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
80
TITLE: Selected Papers from the Eleventh International Conference on Coordination Models and Languages  Full Text
AUTHORS: John Field; Vasco T Vasconcelos ;
PUBLISHED: 2012, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
Page 8 of 15. Total results: 143.