Self-stabilizing distributed file systems | IEEE Conference Publication | IEEE Xplore