@inproceedings{DISC18:Chaos,
title={Order out of Chaos: Proving Linearizability Using Local Views},
author = {Yotam M. Y. Feldman and Constantin Enea and Adam Morrison and Noam Rinetzky and Sharon Shoham},
booktitle = {International Conference on DIStributed Computing (DISC)},
year = {2018}
}