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] |