Kill-safe Synchronization Abstractions (2004)

by Matthew Flatt, Robert Bruse Findler
Venue:In PLDI