Kirsten Winter, Graeme Smith, John Derrick. Observational Models for Linearizability Checking on Weak Memory Models. In Jun Pang, Chenyi Zhang, Jifeng He, Jian Weng, editors, 2018 International Symposium on Theoretical Aspects of Software Engineering, TASE 2018, Guangzhou, China, August 29-31, 2018. pages 100-107, IEEE, 2018. [doi]
Abstract is missing.