HP: Hybrid Paxos for WANs | IEEE Conference Publication | IEEE Xplore