Text this: Program Equivalence in the Erlang Actor Model