Asynchronous pi-calculus in Erlang