Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,147,080 papers from all fields of science
Search
Sign In
Create Free Account
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
7 relations
Computer science
Concurrency (computer science)
Graph (discrete mathematics)
Graph rewriting
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
DPO-SYNT : Discrete Control Synthesis for Partially-Observed Systems ?
Xiang Yin
,
M. Morrison
,
Siyuan Sheng
,
S. Lafortune
2017
Corpus ID: 51801222
This paper describes DPO-SYNT, a C++ based software toolbox for property enforcement in partially-observed Discrete Event Systems…
Expand
2012
2012
Olivine Pseudomorphs after Serpentinized Orthopyroxene RecordTransient Oceanic Lithospheric Mantle Dehydration ( Leka Ophiolite Complex , Norway ) OLIVER PLU « MPER 1 * , SANDRA PIAZOLO 2 y AND H —
Kon Austrheim
2012
Corpus ID: 22139661
We examine the partial survival of high-temperature mantle microstructures throughout multi-stage hydrationand…
Expand
2009
2009
Photophysical properties of the applications asymmetrically substituted spirobifluorenes spiro-DPO and spiro-MeO-DPO
Cornelia M. Brendel
,
F. Dias
,
T. Saragi
,
A. Monkman
,
J. Salbeck
2009
Corpus ID: 99147261
The photophysical behaviour of the oxadiazolyl (PBD) and diphenylamino (TAD) substituted spirobifluorenes 2',7'-bis-(N,N…
Expand
2007
2007
Developing a Method to Protect the Integrity of Racing Using Targeted SRM : Detection and Quantitation of rhEPO / DPO in Horse Plasma
S. Peterman
,
C. Uboh
,
F. Guan
,
L. Soma
,
E. Birks
,
Jin‐Wen Chen
2007
Corpus ID: 12574107
Introduction Recombinant human erythropoietin (rhEPO)2 and Darbepoetin-alpha (DPO)3 are genetically engineered protein-based…
Expand
2007
2007
Relabeling and the Independence Theorem in the Double-Pushout Approach to Graph Transformations
H. Schneider
Bull. EATCS
2007
Corpus ID: 958601
2005
2005
The Design and Implementation of a Graph Rewrite Engine for Model Transformations
Kimmo Nupponen
,
Teknillinen Korkeakoulu
,
Diplomityön Tiivistelmä
2005
Corpus ID: 18459744
Model transformation is used in a wide range of applications including program synthesis , refactoring, and reverse engineering…
Expand
2005
2005
Changing Labels in the Double-Pushout Approach Can Be Treated Categorically
H. Schneider
Formal Methods in Software and Systems Modeling
2005
Corpus ID: 11576917
In the double-pushout approach to graph transformations, most authors assume the left-hand side to be injective, since the…
Expand
2004
2004
Coinductive Reasoning for Contextual Graph-Rewriting
V. Sassone
,
Pawe Soboci
2004
Corpus ID: 15591412
We introduce a comprehensive semantic theory of graph rewriting. The theory is operational, and therefore, lends itself to the…
Expand
2004
2004
Congruences for Contextual Graph-Rewriting Vladimiro
Sassone
,
P. Sobocinski
2004
Corpus ID: 9217917
We introduce a comprehensive operational semantic theory of graphrewriting. Graph-rewriting here is meant in a broad sense as we…
Expand
1998
1998
Africa (Côte d'Ivoire). Proposed 7-year workplan and budget for regional genebanks
Y. P. N'cho
,
A. Sangaré
,
R. Bourdeix
1998
Corpus ID: 190127734
La station de recherche Marc Delorme de l'IDEFOR - DPO en Cote d'Ivoire possede une des plus importantes collections de cocotiers…
Expand