Manuscript VII-J-ST@1 · VII-J-ST.tex · definition · f1f1d82c
Definition: Targets A and B
Scope, Enter philosophy, and the two targets › The Enter discipline · lines 224–239
VII-J-ST@1#def:targets
Let be a declared finite target channel and
an implementation on the same comparison interfaces.
Target A requires a support or signalling statement for , together with a separate accuracy comparison to .
Target B additionally realizes every preparation, gate, communication, clock operation, controller read, record, reset, and decoder by the admitted local and causal primitives on the supplied spacetime.
Displayed formulas in this passage
unlabeled · line 227