A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting | Publicación