Single pushout graph rewriting explained

In computer science, a single pushout graph rewriting or SPO graph rewriting refers to a mathematical framework for graph rewriting, and is used in contrast to the double-pushout approach of graph rewriting.

Further reading

• Book: Ehrig . H. . R. Heckel . M. Korff . M. Löwe . L. Ribeiro . A. Wagner . A. Corradini . Grzegorz Rozenberg . Handbook of Graph Grammars and Computing by Graph Transformation . 1997 . World Scientific . 978-981-238-472-0 . 247–312 . Chapter 4. Algebraic approaches to graph transformation. Part II: single pushout approach and comparison with double pushout approach. 10.1.1.72.1644 .