Verification of the Release-Acquire Semantics.

Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn

Browse the full ICTAC paper archive.