Concurrent Rewriting for Graphs with Equivalences.

Paolo Baldan, Fabio Gadducci, Ugo Montanari

Browse the full CONCUR paper archive.