Manuscript X-I-ST@1 · X-I-ST.tex · section · 9745fd40

Complete backwards support

Scheduled locality and reference-preserving report routes › Complete backwards support · lines 1943–1961

Let $X_{site}$ be a finite site set. At tick $s$ , the complete channel factors over a partition $B_{s}$ :

Γ_{s} = B \in B_{s} ⨂ Γ_{s, B} .

Every control, task selector, record, reset, allocation, and retained workspace is included in its block interface.

For output sites $Y$ , set

N_{t, t} (Y) = Y, N_{s, t} (Y) = B \in B_{s + 1} B \cap N_{s + 1, t} (Y) \neq = \emptyset ⋃ B .

Displayed formulas in this passage

unlabeled · line 1948
$Γ_{s} = B \in B_{s} ⨂ Γ_{s, B} .$
unlabeled · line 1955
$N_{t, t} (Y) = Y, N_{s, t} (Y) = B \in B_{s + 1} B \cap N_{s + 1, t} (Y) \neq = \emptyset ⋃ B .$