Polymorphic sesqui-pushout graph rewriting

DOI10.1007/978-3-319-21145-9_1MaRDI QIDQ2947207zbMATH OpenOpenAlexFDO

Authors Michael Löwe

Publication date 22 September 2015

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-21145-9_1

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Reversible sesqui-pushout rewriting
• Sesqui-Pushout Rewriting
• Sesqui-pushout rewriting with type refinements
• A generalized concurrent rule construction for double-pushout rewriting
• Double-pushout rewriting in context: rule composition and parallel independence

Cites work

• Algebraic approach to single-pushout graph transformation
• Algebraic Graph Transformations with Inheritance
• Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
• Fundamentals of algebraic graph transformation
• Graph rewriting in span-categories
• Graph Transformations
• Hereditary pushouts reconsidered
• scientific article; zbMATH DE number 177452 (Why is no real title available?)
• scientific article; zbMATH DE number 919847 (Why is no real title available?)
• On pushouts of partial maps
• Partially Ordered Sets
• Polymorphic sesqui-pushout graph rewriting
• Reversible sesqui-pushout rewriting
• Sesqui-Pushout Rewriting

Cited in

(11)

• A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications
• Concurrency theorems for non-linear rewriting theories
• A generalized concurrent rule construction for double-pushout rewriting
• scientific article; zbMATH DE number 1638662 (Why is no real title available?)
• Polymorphic sesqui-pushout graph rewriting
• Sesqui-pushout rewriting with type refinements
• Van Kampen squares for graph transformation
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• scientific article; zbMATH DE number 7456055 (Why is no real title available?)
• Fundamentals of compositional rewriting theory
• Subsumptions of algebraic rewrite rules

This page was built for publication: Polymorphic sesqui-pushout graph rewriting

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