Manuscript En06-A@1 · En06-A.tex · section · e04c9892
Device closure remains separate and withdrawn in its strong form
Device closure remains separate and withdrawn in its strong form · lines 2046–2050
Finite admissible partitioned networks satisfy this requirement by Theorem thm:foliation. It does not establish U.
Nearby in this section
- section: Device closure remains separate and withdrawn in its strong form
- hypothesis: Hypothesis: U: Unrestricted resynchronization closure
- definition: Definition: Well-founded causal executability
- theorem: Theorem: U excludes ordinary bidirectional relays
- section: Device closure remains separate and withdrawn in its strong form