A low-bandwidth network file system
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency