S.: Verifying a quantitative relaxation of linearizability via refinement (2013)

by K Adhikari, J Street, C Wang, Y Liu, Zhang
Venue:In: Proc. 20th International Symposium on Model Checking Software. LNCS