Sciweavers

41650 search results - page 101 / 8330
» Distribution of
Sort
View
89
Voted
CONCUR
2010
Springer
15 years 3 months ago
Session Types as Intuitionistic Linear Propositions
Luís Caires, Frank Pfenning
101
Voted
EUROPAR
2010
Springer
15 years 3 months ago
The x-Wait-Freedom Progress Condition
Damien Imbs, Michel Raynal