How do you reason about a probabilistic distributed system? (2020)
ahelwer.ca