distributed-systems-algorithms

Some algorithms for lamport timestamp, mutual exclusion and leader election using Redis as the message broker