Sciweavers

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