Algebraic Reasoning About Timeliness

Seyed Hossein Haeri, Peter W. Thompson, Peter Van Roy +5

Designing distributed systems to have predictable performance under high load is difficult because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, i.e.…