Protocol-based data-race detection (1998)

by B Richards, J R Larus
Venue:In Proc. of the SIGMETRICS symposium on Parallel and distributed tools