Sciweavers

SOFSEM
2016
Springer

Bounded TSO-to-SC Linearizability Is Decidable

8 years 7 months ago
Bounded TSO-to-SC Linearizability Is Decidable
Chao Wang, Yi Lv, Peng Wu 0002
Added 10 Apr 2016
Updated 10 Apr 2016
Type Journal
Year 2016
Where SOFSEM
Authors Chao Wang, Yi Lv, Peng Wu 0002
Comments (0)