TSO-to-TSO Linearizability Is Undecidable - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Chao Wang, Yi Lv, Peng Wu. TSO-to-TSO Linearizability Is Undecidable. In Bernd Finkbeiner, Geguang Pu, Lijun Zhang, editors, Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Volume 9364 of Lecture Notes in Computer Science, pages 309-325, Springer, 2015. [doi]

This author has not been identified. Look up 'Chao Wang' in GoogleThis author has not been identified. Look up 'Yi Lv' in GoogleThis author has not been identified. Look up 'Peng Wu' in Google

runs on WebDSL