  Designing distributed systems to have predictable performance under high load
is difficult because of resource exhaustion, non-linearity, and stochastic
behaviour. Timeliness, i.e., delivering results within defined time bounds, is
a central aspect of predictable performance. In this paper, we focus on
timeliness using the DELTA-Q Systems Development paradigm (DELTA-QSD, developed
by PNSol), which computes timeliness by modelling systems observationally using
so-called outcome expressions. An outcome expression is a compositional
definition of a system's observed behaviour in terms of its basic operations.
Given the behaviour of the basic operations, DELTA-QSD efficiently computes the
stochastic behaviour of the whole system including its timeliness.
  This paper formally proves useful algebraic properties of outcome expressions
w.r.t. timeliness. We prove the different algebraic structures the set of
outcome expressions form with the different DELTA-QSD operators and demonstrate
why those operators do not form richer structures. We prove or disprove the set
of all possible distributivity results on outcome expressions. On our way for
disproving 8 of those distributivity results, we develop a technique called
properisation, which gives rise to the first body of maths for improper random
variables. Finally, we also prove 14 equivalences that have been used in the
past in the practice of DELTA-QSD.
  An immediate benefit is rewrite rules that can be used for design exploration
under established timeliness equivalence. This work is part of an ongoing
project to disseminate and build tool support for DELTA-QSD. The ability to
rewrite outcome expressions is essential for efficient tool support.
