Vasco T. Vasconcelos
Vasco T. Vasconcelos
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at - Homepage
Cited by
Cited by
Language primitives and type discipline for structured communication-based programming
K Honda, VT Vasconcelos, M Kubo
Programming Languages and Systems: 7th European Symposium on Programming …, 1998
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
SCC: A Service Centered Calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006
Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication
N Yoshida, VT Vasconcelos
Electronic Notes in Theoretical Computer Science 171 (4), 73-93, 2007
Fundamentals of session types
VT Vasconcelos
Formal Methods for Web Services, 158-186, 2009
Secure information flow as typed process behaviour
K Honda, V Vasconcelos, N Yoshida
Programming Languages and Systems: 9th European Symposium on Programming …, 2000
Typed concurrent objects
VT Vasconcelos
Object-Oriented Programming: 8th European Conference, ECOOP'94 Bologna …, 1994
Behavioral types in programming languages
D Ancona, V Bono, M Bravetti, J Campos, G Castagna, PM Deniélou, ...
Foundations and Trends® in Programming Languages 3 (2-3), 95-230, 2016
Principal typing schemes in a polyadic -calculus
VT Vasconcelos, K Honda
Lecture Notes in Computer Science, 524-524, 1993
Type checking a multithreaded functional language with session types
VT Vasconcelos, SJ Gay, A Ravara
Theoretical Computer Science 368 (1-2), 64-87, 2006
Modular session types for distributed object-oriented programming
SJ Gay, VT Vasconcelos, A Ravara, N Gesbert, AZ Caldeira
ACM Sigplan Notices 45 (1), 299-312, 2010
Disciplining orchestration and conversation in service-oriented computing
I Lanese, F Martins, VT Vasconcelos, A Ravara
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
A typing system for a calculus of objects
VT Vasconcelos, M Tokoro
Object Technologies for Advanced Software: First JSSST International …, 1993
Session types for inter-process communication
S Gay, V Vasconcelos, A Ravara
Technical Report TR-2003-133, Department of Computing Science, University of …, 2003
Typing the behavior of objects and components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Electronic Notes in Theoretical Computer Science 68 (3), 439-456, 2003
Typing the behavior of software components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Fundamenta Informaticæ 73 (4), 583-598, 2006
Session types for functional multithreading
VT Vasconcelos, A Ravara, S Gay
CONCUR 4, 497-511, 2004
Protocol-based verification of message-passing parallel programs
HA López, ERB Marques, F Martins, N Ng, C Santos, VT Vasconcelos, ...
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
Typing non-uniform concurrent objects
A Ravara, VT Vasconcelos
CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000
The system can't perform the operation now. Try again later.
Articles 1–20