Automatic Mutual Exclusion.

Michael Isard, Andrew Birrell

Browse the full HotOS paper archive.