Vasco T. Vasconcelos
Vasco T. Vasconcelos
Professor of Computer Science, LASIGE, Faculdade de Ciências, Universidade de Lisboa
Dirección de correo verificada de di.fc.ul.pt - Página principal
TítuloCitado porAño
Language primitives and type discipline for structured communication-based programming
K Honda, VT Vasconcelos, M Kubo
European Symposium on Programming, 122-138, 1998
9071998
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
1982006
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
1792010
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
1782007
Typed concurrent objects
VT Vasconcelos
European Conference on Object-Oriented Programming, 100-117, 1994
1621994
Secure information flow as typed process behaviour
K Honda, V Vasconcelos, N Yoshida
European Symposium on Programming, 180-199, 2000
1602000
Principal typing schemes in a polyadic π-calculus
VT Vasconcelos, K Honda
International Conference on Concurrency Theory, 524-538, 1993
1411993
Type checking a multithreaded functional language with session types
VT Vasconcelos, SJ Gay, A Ravara
Theoretical Computer Science 368 (1-2), 64-87, 2006
1162006
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
1132010
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
1112007
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), 3, 2016
1092016
A typing system for a calculus of objects
VT Vasconcelos, M Tokoro
International Symposium on Object Technologies for Advanced Software, 460-474, 1993
951993
Session types for inter-process communication
S Gay, V Vasconcelos, A Ravara
Technical Report TR-2003-133, Department of Computing Science, University of …, 2003
872003
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
792003
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
782016
Fundamentals of session types
VT Vasconcelos
Information and Computation 217, 52-70, 2012
752012
Typing the behavior of software components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Fundamenta Informaticæ 73 (4), 583-598, 2006
75*2006
Session types for functional multithreading
V Vasconcelos, A Ravara, S Gay
International Conference on Concurrency Theory, 497-511, 2004
592004
Typing non-uniform concurrent objects
A Ravara, VT Vasconcelos
International Conference on Concurrency Theory, 474-489, 2000
542000
Fundamentals of session types
VT Vasconcelos
Formal Methods for Web Services, 158-186, 2009
46*2009
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20