A Study of Two Graph Rewriting Formalisms: Interaction Nets and MONSTRCoordination Models and Languages