On categorical graph grammars integrating structural transformations and operations on labels

DOI10.1016/0304-3975(93)90070-AMaRDI QIDQ685458zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

graph grammarsgraph transformationscategorical approachcondition/event netsplasce/transition nets

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 4049016 (Why is no real title available?)
• scientific article; zbMATH DE number 4049017 (Why is no real title available?)
• scientific article; zbMATH DE number 4049096 (Why is no real title available?)
• scientific article; zbMATH DE number 4062632 (Why is no real title available?)
• scientific article; zbMATH DE number 3711390 (Why is no real title available?)
• scientific article; zbMATH DE number 3711391 (Why is no real title available?)
• scientific article; zbMATH DE number 3624774 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 219260 (Why is no real title available?)
• Comparison of two graph-rewrite systems
• On graph rewritings
• Pair grammars, graph languages and string-to-graph translations
• Parallelism and concurrency in high-level replacement systems
• Pushout-Properties: An analysis of gluing constructions for graphs
• Report on the algorithmic language ALGOL 68
• Transformations of structures: An algebraic approach

Cited in

(11)

• Grammar Morphisms and Weakly Adhesive Categories
• Formal relationship between graph grammars and Petri nets
• Algebraic hierarchical graph transformation
• Single pushout transformations of equationally defined graph structures with applications to actor systems
• 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
• The category of typed graph grammars and its adjunctions with categories of derivations
• Formal Methods in Software and Systems Modeling
• scientific article; zbMATH DE number 219260 (Why is no real title available?)

Describes a project that uses

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)