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
11721998
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
2822016
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
2442010
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
2082006
Fundamentals of session types
VT Vasconcelos
Formal Methods for Web Services, 158-186, 2009
2012009
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
1982007
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
1862016
Secure information flow as typed process behaviour
K Honda, V Vasconcelos, N Yoshida
Programming Languages and Systems: 9th European Symposium on Programming …, 2000
1792000
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
1441993
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
1232010
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
692015
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
562016
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20