Sciweavers

27354 search results - page 88 / 5471
» Distributed And Parallel Computing
Sort
View
COORDINATION
2008
Springer
15 years 4 months ago
A Compositional Trace Semantics for Orc
Dimitrios Vardoulakis, Mitchell Wand
85
Voted
CONCUR
2010
Springer
15 years 3 months ago
Session Types as Intuitionistic Linear Propositions
Luís Caires, Frank Pfenning
97
Voted
EUROPAR
2010
Springer
15 years 3 months ago
The x-Wait-Freedom Progress Condition
Damien Imbs, Michel Raynal