Kill-safe synchronization abstractions (2004)

by M Flatt, R B Findler
Venue:In PLDI ’04