Decidable Verification under Localized Release-Acquire Concurrency.

Abhishek Kr Singh, Ori Lahav

Browse the full TACAS paper archive.