Model checking linearizability via refinement (2009)

by Y Liu, W Chen, Y Liu, J Sun
Venue:In FM