Manuscript En02-A@1 · En02-A-v1.tex · section · bb1319d5
The update grammar
Resource geometry, ownership, and legal updates › The update grammar · lines 712–717
The strict inequality in (m1) protects occupied slots. If measurement is followed by permanent retirement, name deletion is performed first and the resulting free unit is then retired.