A pipelined Single-Phase Paxos Extension without lease. - Tongxing Ma; Haibin Wang (ROBIO, 2019)