Thread-Modular Analysis of Release-Acquire Concurrency.

Divyanjali Sharma, Subodh Sharma

Browse the full SAS paper archive.