Matthew Flatt, Robby Findler. Kill-safe synchronization abstractions. In William Pugh, Craig Chambers, editors, Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation 2004, Washington, DC, USA, June 9-11, 2004. pages 47-58, ACM, 2004. [doi]
Abstract is missing.