Formal Verification of Timed Properties for Randomized Distributed Algorithms.

Anna Pogosyants, Roberto Segala

Browse the full PODC paper archive.