English Double pushout graph rewriting Cited by user Jochen Burghardt on 26 Feb 2021 In computer science, double pushout graph rewriting (or DPO graph rewriting) refers to a mathematical framework for graph rewriting.