| |
| 2009 | ||
|---|---|---|
| 5 | EE | Luís Caires, Hugo Torres Vieira: Conversation Types. ESOP 2009: 285-300 |
| 2008 | ||
| 4 | EE | Hugo Torres Vieira, Luís Caires, João Costa Seco: The Conversation Calculus: A Model of Service-Oriented Computation. ESOP 2008: 269-283 |
| 3 | EE | Luís Caires, Carla Ferreira, Hugo Torres Vieira: A Process Calculus Analysis of Compensations. TGC 2008: 87-103 |
| 2007 | ||
| 2 | EE | Luís Caires, Hugo Torres Vieira: Extensionality of Spatial Observations in Distributed Systems. Electr. Notes Theor. Comput. Sci. 175(3): 131-149 (2007) |
| 2006 | ||
| 1 | EE | Emilio Tuosto, Hugo Torres Vieira: An Observational Model for Spatial Logics. Electr. Notes Theor. Comput. Sci. 142: 229-254 (2006) |
| 1 | Luís Caires | [2] [3] [4] [5] |
| 2 | Carla Ferreira | [3] |
| 3 | João Costa Seco | [4] |
| 4 | Emilio Tuosto | [1] |