Bounded TSO-to-SC Linearizability Is Decidable.

Chao Wang, Yi Lv, Peng Wu

Browse the full SOFSEM paper archive.