|
Search the dblp DataBase
Hugo Torres Vieira:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Emilio Tuosto, Hugo Torres Vieira
An Observational Model for Spatial Logics. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:142, n:, pp:229-254 [Journal]
- Luís Caires, Hugo Torres Vieira
Extensionality of Spatial Observations in Distributed Systems. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:3, pp:131-149 [Journal]
The Conversation Calculus: A Model of Service-Oriented Computation. [Citation Graph (, )][DBLP]
Conversation Types. [Citation Graph (, )][DBLP]
A Process Calculus Analysis of Compensations. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|