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

Double pushout graph rewriting

Known as: Double-pushout approach 
In computer science, double pushout graph rewriting or (DPO graph rewriting) refers to a mathematical framework for graph rewriting. It was… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
We in vestigate an alternative model of infinitary term rewriting. Instead of a metric, a partial order on terms is employed to… Expand
  • figure 1
2007
2007
We propose a framework for the specification of behaviourpreserving reconfigurations of systems modelled as Petri nets. The… Expand
2005
2005
Visual rewriting techniques, in particular graph transformations, are increasingly used to model transformations of systems… Expand
  • figure 1
  • figure 3
  • figure 4
  • figure 2
  • figure 6
Highly Cited
2004
Highly Cited
2004
Abstract The present experiment was designed to evaluate the effect of spawning season rearing temperature and post-ovulatory… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • table 2
Highly Cited
2003
Highly Cited
2003
Eliciting the requirements for a proposed system typically involves different stakeholders with different expertise… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
2002
2002
The syntheses of two new ligands, 3,4-di(2-pyridyl)-1,2,5-oxadiazole (dpo) and 3,4-di(2-pyridyl)-1,2,5-thiadiazole (dpt), are… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Highly Cited
1999
Highly Cited
1999
Distributed systems demand a number of requirements on speciication techniques which do not have to be taken into account for the… Expand
  • figure 1.5
  • figure 1.37
Highly Cited
1997
Highly Cited
1997
A graph program consists of declarations of conditional graph transformation rules G. Rozenberg, editors: Handbook of Graph… Expand
Highly Cited
1996
Highly Cited
1996
We first give a new definition of graph grammars, which, although following the algebraic double-pushout approach, is more… Expand
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