Some python implementions of distributed system leader election algorithms