A type and effect system for atomicity. (2003)

by C Flanagan, S Qadeer
Venue:In PLDI,