TY  - RPRT
TI  - Algebraic File Synchronization: Adequacy and Completeness
AU  - Elod Pal Csirmaz
PY  - 2018
UR  - https://arxiv.org/abs/1601.01736
ID  - 1601.01736
ER  -