Compilation of Higher-Order Concurrent Programs into First-Order Programs on Recursive Graph Rewriting Model.