Implementation of AREProtocol for Erlang