Sciweavers

Share
SOFSEM
2016
Springer

Bounded TSO-to-SC Linearizability Is Decidable

3 years 13 days 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)
books