The Bakery Algorithm that we previously implemented in Erlang, but with different nodes distributed on multiple computers.