Follow
Vasco T. Vasconcelos
Vasco T. Vasconcelos
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at di.fc.ul.pt - Homepage
Title
Cited by
Cited by
Year
Language primitives and type discipline for structured communication-based programming
K Honda, VT Vasconcelos, M Kubo
European Symposium on Programming, 122-138, 1998
11361998
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
2702016
Linear type theory for asynchronous session types
SJ Gay, VT Vasconcelos
Journal of Functional Programming 20 (1), 19-50, 2010
2382010
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
2052006
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
1942007
Fundamentals of session types
VT Vasconcelos
Formal Methods for Web Services, 158-186, 2009
1902009
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
1391993
Type checking a multithreaded functional language with session types
VT Vasconcelos, SJ Gay, A Ravara
Theoretical Computer Science 368 (1-2), 64-87, 2006
1292006
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
1122007
A typing system for a calculus of objects
VT Vasconcelos, M Tokoro
Object Technologies for Advanced Software: First JSSST International …, 1993
1011993
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
892003
Session types for inter-process communication
S Gay, V Vasconcelos, A Ravara
Technical Report TR-2003-133, Department of Computing Science, University of …, 2003
882003
Typing the behavior of software components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Fundamenta Informaticæ 73 (4), 583-598, 2006
692006
Session types for functional multithreading
V Vasconcelos, A Ravara, S Gay
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
682004
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
672015
Typing non-uniform concurrent objects
A Ravara, VT Vasconcelos
International Conference on Concurrency Theory, 474-489, 2000
542000
The system can't perform the operation now. Try again later.
Articles 1–20