Manuscript En05-A@1 · En05-A.tex · hypothesis · f076e703
Hypothesis: Unrestricted device retiming closure
Two retiming statements and a boost-closure limitation › The earlier strong closure hypothesis · lines 1536–1543
En05-A@1#hyp:boost
Every -compatible retiming image of every realizable transport step type is realizable as a device in one common substrate. Devices may be translated in tick time and finitely composed without additional compatibility restrictions. Ordinary waiting steps are available.
Nearby in this section
- section: The earlier strong closure hypothesis
- assumption: Assumption: E7: Finite causal executability
- proposition: Proposition: Executability of admissible finite networks
- theorem: Theorem: Formal super-cone cycle construction
- section: The earlier strong closure hypothesis
- proposition: Proposition: Closed dependencies conflict with E7(a)
- theorem: Theorem: The strong closure also excludes ordinary relays
- remark: Remark: Correct conclusion