Verifying linearizability via optimized refinement checking (0)

by Y Liu, W Chen, Y A Liu, J Sun, S J Zhang, J Song Dong
Venue:IEEE Trans. Software Eng