Concurrent Rewriting for Graphs with Equivalences