Sciweavers

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