ByNobleID
    Congruence Results of Scope Equivalence for a Graph Rewriting Model of Concurrent Programs | NobleID