A type and effect system for atomicity (2003)

by C Flanagan, S Qadeer
Venue:Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation