Implementation of the Banker's Algorithm in Erlang