Analysing randomized distributed algorithms (2004)

by G Norman
Venue:Validation of Stochastic Systems, Lecture Notes in Computer Science