fully distributed mutex server in erlang based on the sigma algorithm - View it on GitHub