A bi-categorical axiomatisation of concurrent graph rewriting (0)

by F Gadducci, R Heckel, M Llabrés
Venue:Category Theory and Computer Science, Electr