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

Cached

Download Links

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