Manuscript IX-B-ST@1 · IX-B-ST.tex · section · f6af1523
An explicit nonempty regular route
Scheduled locality and buffered reference-preserving transport › An explicit nonempty regular route · lines 2147–2152
The route is the regular buffered form of the I-B transport pattern, with the clock and complete history retained in its channel specification CheungIB,CheungTransport.