Definition: Tail-routing property

A schedule has the tail-routing property if, from every starting tick, every finite collection of names and records at declared initial locations can be brought to any declared target site in finitely many ticks by within-block relocations alone. The finite reserved interface must have sufficient capacity for the routed collection.