A type and effect system for atomicity (2003)

by Cormac Flanagan, Shaz Qadeer
Venue:In Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation