Monitoring Atomicity in Concurrent Programs

by Azadeh Farzan , P. Madhusudan
Citations:20 - 3 self