scientific article; zbMATH DE number 139800

MaRDI QIDQ4028126zbMATH OpenFDO

Authors Michael Löwe, Hartmut Ehrig

Publication date 28 March 1993

zbMATH Keywords

asynchronous parallel derivationscategories of algebras and partial homomorphismscategory of graphs and partial morphismsfunctional expressionsgraph grammarsgraph rewritinghypergraphspartial graph morphismsingle-pushout approach

Mathematics Subject Classification ID

Unary algebras (08A60) Categories of algebras (08C05) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Grammars and rewriting systems (68Q42) Graph theory (including graph drawing) in computer science (68R10)

Recommendations

• Algebraic approach to single-pushout graph transformation
• The pullback-pushout approach to algebraic graph transformation
• scientific article; zbMATH DE number 1638662
• scientific article; zbMATH DE number 1953883
• Fundamentals of algebraic graph transformation
• Algebraic hierarchical graph transformation
• scientific article; zbMATH DE number 4182847
• Algebraic Graph Transformations with Inheritance
• Double-pushout graph transformation revisited

Cited in

(51)

• Term graph rewriting and garbage collection using opfibrations
• Algebraic transformation of unary partial algebras. I: Double-pushout approach
• Generating irregular partitionable data structures
• The PBPO graph transformation approach
• Properties of graphs preserved by relational graph rewritings
• Algebraic graph rewriting with controlled embedding
• Single pushout rewriting in comprehensive systems of graph-like structures
• A generalized concurrent rule construction for double-pushout rewriting
• Double-pushout-rewriting in \(S\)-Cartesian functor categories: rewriting theory and application to partial triple graphs
• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• scientific article; zbMATH DE number 1638662 (Why is no real title available?)
• Double-pushout graph transformation revisited
• Sesqui-Pushout Rewriting
• Matrix Approach to Graph Transformation: Matching and Sequences
• Graph expressions and graph rewritings
• scientific article; zbMATH DE number 1189283 (Why is no real title available?)
• scientific article; zbMATH DE number 165003 (Why is no real title available?)
• scientific article; zbMATH DE number 177420 (Why is no real title available?)
• scientific article; zbMATH DE number 177428 (Why is no real title available?)
• scientific article; zbMATH DE number 177452 (Why is no real title available?)
• scientific article; zbMATH DE number 1231500 (Why is no real title available?)
• scientific article; zbMATH DE number 517053 (Why is no real title available?)
• scientific article; zbMATH DE number 1067869 (Why is no real title available?)
• scientific article; zbMATH DE number 1953883 (Why is no real title available?)
• scientific article; zbMATH DE number 2016072 (Why is no real title available?)
• scientific article; zbMATH DE number 1497812 (Why is no real title available?)
• scientific article; zbMATH DE number 1504830 (Why is no real title available?)
• scientific article; zbMATH DE number 4114059 (Why is no real title available?)
• scientific article; zbMATH DE number 919852 (Why is no real title available?)
• Graph rewriting in span-categories
• scientific article; zbMATH DE number 1418365 (Why is no real title available?)
• The pullback-pushout approach to algebraic graph transformation
• Note on standard representation of graphs and graph derivations
• Relational structures and their partial morphisms in view of single pushout rewriting
• Single pushout transformations of equationally defined graph structures with applications to actor systems
• Parallelism in single-pushout graph rewriting
• Set-theoretic graph rewriting
• Single pushout rewriting in comprehensive systems
• Algebraic Graph Transformations with Inheritance
• Formal Methods in Software and Systems Modeling
• Pullback as a generic graph rewriting mechanism
• Graph rewriting and relabeling with PBPO^+: a unifying theory for quasitoposes
• How to delete categorically -- two pushout complement constructions
• Locating the contractum in the double pushout approach
• Relational graph rewritings
• Algebraic approach to single-pushout graph transformation
• Parallel and distributed derivations in the single-pushout approach
• The ESPRIT basic research working group COMPUGRAPH ``Computing by graph transformation: A survey
• Partial pushout semantics of generics in DOL
• On graph rewritings
• Subobject transformation systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4028126)