Coda: a highly available file system for a distributed workstation environment | IEEE Conference Publication | IEEE Xplore