2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.LO2019★ 2 cited
Rewriting Abstract Structures: Materialization Explained Categorically
Andrea Corradini, Tobias Heindel, Barbara König +2
The paper develops an abstract (over-approximating) semantics for double-pushout rewriting of graphs and graph-like objects. The focus is on the so-called materialization of left-h…
cs.LO2014
A General Framework for Well-Structured Graph Transformation Systems
Barbara König, Jan Stückrath
Graph transformation systems (GTSs) can be seen as wellstructured transition systems (WSTSs), thus obtaining decidability results for certain classes of GTSs. In earlier work it wa…