A pipelined Single-Phase Paxos Extension without lease | IEEE Conference Publication | IEEE Xplore