Manuscript En05-A@1 · En05-A.tex · example · f076e703
Example: Fair coordinate schedules
Finite programs, syntactic admissibility, and routing › Routing from every starting tick · lines 780–794
En05-A@1#ex:relay
On with the metric, define, along one coordinate axis, the two partitions with intervals
and singletons at all remaining sites. Lift these partitions along each coordinate line.
A schedule that repeats both phases on every axis is tail routing. Every nearest-neighbor edge lies in an interval of one of the two phases. A name can therefore follow any finite coordinate path by waiting for the required phase. Previously routed names may remain at the target while the remaining names are transported.
Displayed formulas in this passage
unlabeled · line 783