Model checking randomized distributed algorithms

Nathalie Bertrand 0001. Model checking randomized distributed algorithms. SIGLOG News, 7(1):35-45, 2020. [doi]

Abstract

Abstract is missing.