Manuscript En05-A@1 · En05-A.tex · definition · f076e703

Definition: Block schedule

Partitioned dynamics and the exact comparison theorem › Substrates and admissibility · lines 369–375

En05-A@1#def:blocks

A block schedule is a sequence $(P_{s})_{s}$ of partitions of $Λ$ into finite blocks $b$ satisfying $diam_{d} b \leq r$ . Tick $s$ maps the tick- $s$ interface to the tick- $(s + 1)$ interface.

Nearby in this section

definition: Definition: Substrate
definition: Definition: Semantic admissibility
section: Substrates and admissibility