Seguir
Antonio Ravara
Título
Citado por
Citado por
Ano
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
2492016
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
2082006
Type checking a multithreaded functional language with session types
VT Vasconcelos, SJ Gay, A Ravara
Theoretical Computer Science 368 (1-2), 64-87, 2006
1282006
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
1262010
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
1142007
Session types for inter-process communication
S Gay, V Vasconcelos, A Ravara
Technical Report TR-2003-133, Department of Computing Science, University of …, 2003
892003
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
Typing the behavior of software components using session types
A Vallecillo, VT Vasconcelos, A Ravara
Fundamenta Informaticæ 73 (4), 583-598, 2006
76*2006
Session types for functional multithreading
V Vasconcelos, A Ravara, S Gay
CONCUR 2004-Concurrency Theory: 15th International Conference, London, UK …, 2004
692004
Behavioural Types: from Theory to Tools
S Gay, A Ravara
Taylor & Francis, 2017
642017
Typing non-uniform concurrent objects
A Ravara, VT Vasconcelos
CONCUR 2000—Concurrency Theory: 11th International Conference University …, 2000
552000
Behavioural types for a calculus of concurrent objects
A Ravara, V Vasconcelos
Euro-Par'97 Parallel Processing: Third International Euro-Par Conference …, 1997
531997
Dynamic recovering of long running transactions
C Vaz, C Ferreira, A Ravara
Trustworthy Global Computing: 4th International Symposium, TGC 2008 …, 2009
312009
Lexically scoped distribution: what you see is what you get
A Ravara, AG Matos, VT Vasconcelos, L Lopes
Electronic Notes in Theoretical Computer Science 85 (1), 61-79, 2003
282003
Modular session types for objects
SJ Gay, N Gesbert, A Ravara, VT Vasconcelos
arXiv preprint arXiv:1205.5344, 2012
252012
Advanced mechanisms for service combination and transactions
C Ferreira, I Lanese, A Ravara, HT Vieira, G Zavattaro
Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011
242011
Models of distribution and mobility: State of the art
G Boudol, I Castellani, F Germain, M Lacoste, G Boudol, I Castellani, ...
Mikado Deliverable D 1, 1.1, 2002
242002
Dynamic interfaces
VT Vasconcelos, SJ Gay, A Ravara, N Gesbert, AZ Caldeira
International Workshop on Foundations of Object-Oriented Languages (FOOL), 2009
22*2009
Session types as generic process types
SJ Gay, N Gesbert, A Ravara
arXiv preprint arXiv:1408.1459, 2014
182014
Foundations of behavioural types
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
Report of the EU COST Action IC1201–Behavioural Types for Reliable Large …, 2014
152014
O sistema não pode efectuar a operação agora. Tente mais tarde.
Artigos 1–20