Detecting access anomalies in programs with critical sections (1991)

by A Dinning, E Schonberg
Venue:In PADD ’91: Proceedings of the 1991 ACM/ONR Workshop on Parallel and Distributed Debugging