On Hierarchical Graphs: Reconciling Bigraphs, Gs-Monoidal Theories and Gs-Graphs

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2014-1103