Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
The paper extends single-pushout graph transformation by polymorphism, a key concept in object-oriented design. The notions sub… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
2010
2010
Graph grammars may be used as specification technique for different kinds of systems, specially in situations in which states are… Expand
  • table 1
  • figure 1
Highly Cited
2006
Highly Cited
2006
Graph rewriting is a powerful technique that requires graph pattern matching, which is an NP-complete problem. We present GrGen… Expand
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
2005
2005
It belongs to the folklore that graph grammars can be seen as a proper generalisation of Petri nets. In this paper we show how… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
1999
1999
The transformation of total graph structures has been studied from the algebraic point of view over more than two decades now… Expand
1997
1997
Abstract High-level replacement systems are an axiomatic categorical framework based on doublepushouts in order to unify… Expand
1994
1994
The single-pushout approach to graph transformation comes equipped with an interesting parallel composition of rules and… Expand
1993
1993
Abstract Parallel and distributed derivations are introduced and studied in the single-pushout approach, which models rewriting… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 6
1993
1993
Abstract We introduce hyperedge replacement jungle rewriting, a graph-rewriting formalism suitable for modeling the manipulation… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
1993
1993
The Agg-system is a prototype implementation of the algebraic approach to graph transformation. It consists of a flexible graph… Expand