An interface to support lazy replicated file service | IEEE Conference Publication | IEEE Xplore