 | 2008 |
| 14 |  | Luís Cruz-Filipe,
Ivan Lanese,
Francisco Martins,
António Ravara,
Vasco Thudichum Vasconcelos:
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus.
FMOODS 2008: 59-77 |
| 13 |  | Cátia Vaz,
Carla Ferreira,
António Ravara:
Dynamic Recovering of Long Running Transactions.
TGC 2008: 201-215 |
| 12 |  | Joana Martinho,
António Ravara:
Encoding cryptographic primitives in a calculus with polyadic synchronization.
TMFCS 2008: 102-109 |
| 2007 |
| 11 |  | Ivan Lanese,
Francisco Martins,
Vasco Thudichum Vasconcelos,
António Ravara:
Disciplining Orchestration and Conversation in Service-Oriented Computing.
SEFM 2007: 305-314 |
| 2006 |
| 10 |  | Michele Boreale,
Roberto Bruni,
Luís Caires,
Rocco De Nicola,
Ivan Lanese,
Michele Loreti,
Francisco Martins,
Ugo Montanari,
António Ravara,
Davide Sangiorgi,
Vasco Thudichum Vasconcelos,
Gianluigi Zavattaro:
SCC: A Service Centered Calculus.
WS-FM 2006: 38-57 |
| 9 |  | Antonio Vallecillo,
Vasco Thudichum Vasconcelos,
António Ravara:
Typing the Behavior of Software Components using Session Types.
Fundam. Inform. 73(4): 583-598 (2006) |
| 8 |  | Vasco Thudichum Vasconcelos,
Simon J. Gay,
António Ravara:
Type checking a multithreaded functional language with session types.
Theor. Comput. Sci. 368(1-2): 64-87 (2006) |
| 2004 |
| 7 |  | Vasco Thudichum Vasconcelos,
António Ravara,
Simon J. Gay:
Session Types for Functional Multithreading.
CONCUR 2004: 497-511 |
| 2003 |
| 6 |  | Antonio Vallecillo,
Vasco Thudichum Vasconcelos,
António Ravara:
Typing the Behavior of Objects and Component Using Session Types.
Electr. Notes Theor. Comput. Sci. 68(3): (2003) |
| 5 |  | António Ravara,
Ana Gualdina Almeida Matos,
Vasco Thudichum Vasconcelos,
Luís M. B. Lopes:
Lexically scoped distribution: what you see is what you get.
Electr. Notes Theor. Comput. Sci. 85(1): (2003) |
| 2000 |
| 4 |  | António Ravara,
Vasco Thudichum Vasconcelos:
Typing Non-uniform Concurrent Objects.
CONCUR 2000: 474-488 |
| 1999 |
| 3 |  | Uwe Nestmann,
António Ravara:
Semantics of Objects as Processes (SOAP).
ECOOP Workshops 1999: 314-325 |
| 2 |  | Vasco Thudichum Vasconcelos,
António Ravara:
Communication Errors in the pi-Calculus are Undecidable.
Inf. Process. Lett. 71(5-6): 229-233 (1999) |
| 1997 |
| 1 |  | António Ravara,
Vasco Thudichum Vasconcelos:
Behavioural Types for a Calculus of Concurrent Objects.
Euro-Par 1997: 554-561 |