BARAK AMIR

Highly-available cluster leader election in a distributed routing system