Layered reasoning for randomized distributed algorithms
scientific article; zbMATH DE number 6148334