Sciweavers

ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
14 years 4 months ago
Model Checking Probabilistic Distributed Systems
Protocols for distributed systems make often use of random transitions to achieve a common goal. A popular example are randomized leader election protocols. We introduce probabilis...
Benedikt Bollig, Martin Leucker