Seguir
Vasco T. Vasconcelos
Vasco T. Vasconcelos
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Dirección de correo verificada de di.fc.ul.pt - Página principal
Título
Citado por
Citado por
Año
Language primitives and type discipline for structured communication-based programming
K Honda, VT Vasconcelos, M Kubo
European Symposium on Programming, 122-138, 1998
12111998
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
2992016
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
2512010
SCC: a service centered calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
International Workshop on Web Services and Formal Methods, 38-57, 2006
2102006
Fundamentals of session types
VT Vasconcelos
Formal Methods for Web Services, 158-186, 2009
2092009
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
2032007
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
2012016
Secure information flow as typed process behaviour
K Honda, V Vasconcelos, N Yoshida
Programming Languages and Systems: 9th European Symposium on Programming …, 2000
1812000
Typed concurrent objects
VT Vasconcelos
European Conference on Object-Oriented Programming, 100-117, 1994
1711994
Principal typing schemes in a polyadic π-calculus
VT Vasconcelos, K Honda
International Conference on Concurrency Theory, 524-538, 1993
1461993
Type checking a multithreaded functional language with session types
VT Vasconcelos, SJ Gay, A Ravara
Theoretical Computer Science 368 (1-2), 64-87, 2006
1302006
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
1252010
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
1132007
A typing system for a calculus of objects
VT Vasconcelos, M Tokoro
Object Technologies for Advanced Software: First JSSST International …, 1993
1011993
Session types for inter-process communication
S Gay, V Vasconcelos, A Ravara
Technical Report TR-2003-133, Department of Computing Science, University of …, 2003
902003
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
902003
Session types for functional multithreading
V Vasconcelos, A Ravara, S Gay
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
722004
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
702015
Typing the behavior of software components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Fundamenta Informaticæ 73 (4), 583-598, 2006
692006
Context-free session types
P Thiemann, VT Vasconcelos
Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016
592016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20