Manuscript Hawk07-B@1 · Hawk07-B.tex · section · b9785538
A sufficient memory-reuse theorem
Convoys, relays, and the reset condition › A sufficient memory-reuse theorem · lines 1368–1372
Memory channels require a stronger contract than an isolated single-use channel KretschmannWernerMemory.