Skip to search formSkip to main contentSkip to account menu

Single pushout graph rewriting

Known as: Single-pushout approach 
In computer science, single pushout graph rewriting or SPO graph rewriting refers to a mathematical framework for graph rewriting, and is used in… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
The Kappa calculus defines how a graph, representing a system of linked agents, can be modified by rules that specify which… 
2004
2004
This work aims to extend the algebraic single-pushout approach to graph transformation to model object-oriented systems… 
2004
2004
We characterize the pairs of partial homomorphisms of total Σ-algebras that have a pushout in the corresponding category, for an… 
1994
1994
The single-pushout approach to graph transformation comes equipped with an interesting parallel composition of rules and…