On categorical graph grammars integrating structural transformations and operations on labels

DOI10.1016/0304-3975(93)90070-AzbMATH Open0784.68052OpenAlexW1985805187MaRDI QIDQ685458FDOQ685458

H. J. Schneider

Publication date: 22 March 1994

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(93)90070-a

Recommendations

• Transformations of graph grammars
• The category of typed graph grammars and its adjunctions with categories of derivations
• Categorical approach to the construction of fuzzy graph grammars
• scientific article; zbMATH DE number 1456950
• Structure graphs and structure graph grammars
• Graph Transformation by Computational Category Theory
• On structured graph grammars. I
• Graph operators and its applications to context free languages
• On structured graph grammars. II

zbMATH Keywords

graph grammarsgraph transformationscategorical approachcondition/event netsplasce/transition nets

Mathematics Subject Classification ID

Categories of sets, characterizations (18B05) Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Pair grammars, graph languages and string-to-graph translations
• Pushout-Properties: An analysis of gluing constructions for graphs
• Transformations of structures: An algebraic approach
• Parallelism and concurrency in high-level replacement systems
• On graph rewritings
• Comparison of two graph-rewrite systems
• Report on the algorithmic language ALGOL 68
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (9)

• Grammar Morphisms and Weakly Adhesive Categories
• Formal relationship between graph grammars and Petri nets
• Algebraic hierarchical graph transformation
• Concurrent graph and term graph rewriting
• Hierarchical graph transformation
• Graph-grammar semantics of a higher-order programming language for distributed systems
• Hierarchically distributed graph transformation
• Formal Methods in Software and Systems Modeling
• Title not available (Why is that?)

Uses Software

• ALGOL 68

This page was built for publication: On categorical graph grammars integrating structural transformations and operations on labels

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