Concurrent Graph and Term Graph Rewriting