DMCA

Friends need a bit more: Maintaining invariants over shared state (2004)

by Mike Barnett , David A. Naumann
Venue:In MPC, volume 3125 of LNCS
Citations:86 - 12 self