Model Checking Linearizability via Refinement. Liu, Y., Chen, W., Liu, Y. A., & Sun, J. In Proceedings of Formal Methods (FM), pages 321-337, 2009.
Model Checking Linearizability via Refinement [link]Paper  Model Checking Linearizability via Refinement [pdf]Paper  bibtex   

Downloads: 0