Seol mar théacs é seo: Quantitative assessments of distributed systems :