שליחה במסרון: Quantitative assessments of distributed systems :