Incomparability and ownership

No-signaling alone does not imply disjoint ownership. Two operations may access the same cell while writing the same constant, or may be mutually exclusive alternatives rather than co-occurring events. In the present model, simultaneous enabledness and the channel discipline prove disjointness. An application to another calculus must supply the corresponding ownership theorem.