Sciweavers

ASIAN
2003
Springer
170views Algorithms» more  ASIAN 2003»
14 years 28 days 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