Monitoring Atomicity in Concurrent Programs.

Azadeh Farzan, P. Madhusudan

Browse the full CAV paper archive.