A Type and Effect System for Atomicity (2003)

by C Flanagan, S Qadeer
Venue:In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI