ZPaxos: An Asynchronous BFT Paxos with a Leaderless Synchronous Group. - D. D. Amarasekara; D. N. Ranasinghe (ISPDC, 2022)