Manuscript X-G-ST@1 · X-G-ST.tex · section · 3c97567f

Scheduled locality, regular transport, and resources

Scheduled locality, regular transport, and resources · lines 2313–2326

At each tick let the complete finite channel factor over a prescribed partition into finite-site blocks. Include all records, controls, resets, selectors, and resource wires. For terminal sites $Y$ , define

N_{t, t} (Y) = Y, N_{s, t} (Y) = ⋃ {B : B is a block at tick s + 1, B \cap N_{s + 1, t} (Y) \neq = \emptyset} .

Displayed formulas in this passage

unlabeled · line 2320
$N_{t, t} (Y) = Y, N_{s, t} (Y) = ⋃ {B : B is a block at tick s + 1, B \cap N_{s + 1, t} (Y) \neq = \emptyset} .$

Nearby in this section

theorem: Theorem: Complete scheduled locality
section: Scheduled locality, regular transport, and resources
theorem: Theorem: Regular reference-preserving route
section: Scheduled locality, regular transport, and resources