Algebraic Reasoning About Timeliness

SH Haeri, PW Thompson, P Van Roy… - arXiv preprint arXiv …, 2023 - arxiv.org
Designing distributed systems to have predictable performance under high load is difficult
because of resource exhaustion, non-linearity, and stochastic behaviour. Timeliness, ie …

[PDF][PDF] On the Algebraic Properties of Timeliness

SH Haeri, PW Thompson, P Van Roy, M Haveraaen… - 2023 - pnsol.com
Designing distributed systems to have predictable performance under high load is difficult
because of resource exhaustion, nonlinearity, and stochastic behaviour. The ΔQ Systems …

[PDF][PDF] Time as a First-Class Citizen The∆ Q Systems Design Project

K HAMMOND, PW THOMPSON, NJ DAVIES, P VAN… - trendsfp.github.io
This paper describes the∆ Q systems design project.∆ Q is a methodology for design and
diagnosis of complex distributed systems that has been applied at scale to a number of …