Manuscript VII-J@1 · VII-J.tex · section · d8c01b04
Scheduled ancestors
The complete timed dependency network › Scheduled ancestors · lines 535–540
This proof extends the prescribed-block mechanism of VII-E
CheungVIIE (thm:locality) by explicitly including
the controller and all communication interfaces.