A group membership service in Erlang