Manuscript X-K-ST@1 · X-K-ST.tex · section · 93c39c0f
One destructive clock and its exact limitations
One destructive clock and its exact limitations · lines 552–557
This local calculation restates the I-B/En09-A pattern IB,En09; it is not an independent verification of those entire manuscripts.
Nearby in this section
- section: One destructive clock and its exact limitations
- theorem: Theorem: Complete destructive-clock identity
- proposition: Proposition: No universal return from the destructive output
- section: One destructive clock and its exact limitations
- remark: Remark: What reference preservation does not say
- proposition: Proposition: Records are not surviving states