SCL: simplifying distributed SDN control planes
Flexible Paxos: Quorum intersection revisited