TY  - RPRT
TI  - Reasoning about identifier spaces: How to make Chord correct
AU  - Pamela Zave
PY  - 2019
DO  - 10.1109/tse.2017.2655056
UR  - https://arxiv.org/abs/1610.01140
ID  - 1610.01140
ER  -