A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting (1999)

by Fabio Gadducci, Reiko Heckel, Mercé Llabrés