Quantitative analysis of distributed randomized protocols.

Christel Baier, Frank Ciesinski, Marcus Grer

Browse the full FMICS paper archive.