Complexity of Consistency Testing for the Release-Acquire Semantics.

R. Govind, S. Krishna, Sanchari Sil, B. Srivathsan

Browse the full FM paper archive.