@misc{indiciae844eadb8b51d,
  title = {Reasoning about identifier spaces: How to make Chord correct},
  author = {Pamela Zave},
  year = {2019},
  doi = {10.1109/tse.2017.2655056},
  url = {https://arxiv.org/abs/1610.01140},
  note = {Source identifier: 1610.01140}
}