Sciweavers

12052 search results - page 110 / 2411
» computing 2010
Sort
View
79
Voted
CONCUR
2010
Springer
15 years 1 months ago
Session Types as Intuitionistic Linear Propositions
Luís Caires, Frank Pfenning
88
Voted
EUROPAR
2010
Springer
15 years 1 months ago
The x-Wait-Freedom Progress Condition
Damien Imbs, Michel Raynal
GRC
2010
IEEE
15 years 1 months ago
Rough Lattices
Zuhua Liao, Lian Wu, Miaohan Hu