Manuscript I@2 · I.tex · section · 85631fa7
Internal no-signaling
Metatheory of the specified calculus › Internal no-signaling · lines 953–958
This concerns unconditioned local records. Conditional dependence on a reported remote outcome is not excluded.