Leader set selection for low-latency geo-replicated state machineShengyun LiuMarko Vukolic2017IEEE TPDS