Graph Rewriting Components

DOI10.1007/978-3-031-09843-7_2MaRDI QIDQ6487304zbMATH OpenFDO

Authors R. Heckel, Andrea Corradini, Fabio Gadducci

Publication date 7 December 2022

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) String diagrams and graphical calculi (18M30)

Recommendations

• A rewriting calculus for multigraphs with ports
• Set-theoretic graph rewriting
• Composition: a fresh look at an old topic
• scientific article; zbMATH DE number 1497812

Cites work

• scientific article; zbMATH DE number 44486 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 1863162 (Why is no real title available?)
• scientific article; zbMATH DE number 1418368 (Why is no real title available?)
• Amalgamation of graph transformations: a synchronization mechanism
• Composition and Decomposition of DPO Transformations with Borrowed Context
• Deriving bisimulation congruences in the DPO approach to graph rewriting with borrowed contexts
• Distributed graphs and graph transformation
• Formal Methods in Software and Systems Modeling
• Generalised compositionality in graph transformation
• Handbook of Graph Grammars and Computing by Graph Transformation
• Observational congruences for dynamically reconfigurable tile systems
• String diagram rewrite theory. I: Rewriting with Frobenius structure
• Synchronised Hyperedge Replacement as a Model for Service Oriented Computing

Cited in

(2)

• Extending graph rewriting with copying
• Generalised compositionality in graph transformation

This page was built for publication: Graph Rewriting Components

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