Michael Isard and Andrew Birrell. Automatic mutual exclusion (2001)

by Syst
Venue:In Proc