Michel Bauderon
-
Node rewriting in graphs and hypergraphs: a categorical framework
Theoretical Computer Science
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science