Manuscript En06-A@1 · En06-A.tex · hypothesis · e04c9892
Hypothesis: U: Unrestricted resynchronization closure
Device closure remains separate and withdrawn in its strong form · lines 2033–2039
En06-A@1#hyp:U
Every compatible resynchronization image of every realizable transport step type is independently realizable in one common device class. Tick translates and arbitrary finite wired compositions of those images are admitted.
Nearby in this section
- section: Device closure remains separate and withdrawn in its strong form
- definition: Definition: Well-founded causal executability
- section: Device closure remains separate and withdrawn in its strong form
- theorem: Theorem: U excludes ordinary bidirectional relays
- section: Device closure remains separate and withdrawn in its strong form