Manuscript En06-A@1 · En06-A.tex · definition · e04c9892
Definition: Semantic admissibility
Order-theoretic and metric domains of dependence · lines 432–441
A semantically admissible update is
where every factor is a complete local channel satisfying Assumption ass:control. Names and records may be relocated only within the block. Allocation and record creation have declared local output interfaces.
Displayed formulas in this passage
unlabeled · line 434