A Class of Synchronization Operations that Permit Efficient Race Detection.

David P. Helmbold, Charles E. McDowell

Browse the full PDPTA paper archive.