114
Voted
DC
2000
15 years 2 months ago
2000
ms, to use abstraction mappings to prove probabilistic properties, and to apply random walk theory in a distributed computational setting. We apply all of these techniques to analy...
88
Voted
DC
2000
15 years 2 months ago
2000