Memory Management Support for Multi-Programmed Remote Direct Memory Access (RDMA) Systems
Leases: an efficient fault-tolerant mechanism for distributed file cache consistency