Kfir Lev-Ari, Gregory Chockler, Idit Keidar. A Constructive Approach for Proving Data Structures' Linearizability. In Yoram Moses, editor, Distributed Computing - 29th International Symposium, DISC 2015, Tokyo, Japan, October 7-9, 2015, Proceedings. Volume 9363 of Lecture Notes in Computer Science, pages 356-370, Springer, 2015. [doi]
Abstract is missing.