Quasi-Linearizability is Undecidable

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-26529-2_20 ◽

2015 ◽

pp. 369-386 ◽

Cited By ~ 3

Author(s):

Chao Wang ◽

Yi Lv ◽

Gaoang Liu ◽

Peng Wu

Download Full-text