Checking Bisimilarity for Attributed Graph Transformation.

Fernando Orejas Artur Boronat Ulrike Golas Nikos Mylonakis

Published in: FoSSaCS (2013)

Keyphrases

attributed graphs
graph matching
neural network
graph clustering
xml documents
pattern matching