PaxosLease: Diskless Paxos for Leases - Marton Trencseni; Attila Gazsó; Holger Reinhardt (CoRR, 2012)