The category of typed graph grammars and its adjunctions with categories of derivations

DOI10.1007/3-540-61228-9_79MaRDI QIDQ4645267zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, J. Padberg

Publication date 10 January 2019

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-61228-9_79

zbMATH Keywords

direct derivationgraph grammargraph transformationinjective morphismtransition system

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1231482
• On categorical graph grammars integrating structural transformations and operations on labels
• scientific article; zbMATH DE number 177428
• scientific article; zbMATH DE number 1231496
• scientific article; zbMATH DE number 919845

Cites work

• Abstract graph derivations in the double pushout approach
• scientific article; zbMATH DE number 4191145 (Why is no real title available?)
• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 4049095 (Why is no real title available?)
• Parallelism and concurrency of graph manipulations
• Petri nets are monoids
• Petri nets, event structures and domains. I

Cited in

(8)

• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• Graph-based specification of access control policies
• Grammar Morphisms and Weakly Adhesive Categories
• scientific article; zbMATH DE number 1231482 (Why is no real title available?)
• Graph transformations for the specification of access control policies
• Node rewriting in graphs and hypergraphs: A categorical framework
• On categorical graph grammars integrating structural transformations and operations on labels
• Unfolding semantics of graph transformation

This page was built for publication: The category of typed graph grammars and its adjunctions with categories of derivations

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