Implementation of several distributed algorithms in Erlang