Abstract graph derivations in the double pushout approach

DOI10.1007/3-540-57787-4_6MaRDI QIDQ5096276zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, Hartmut Ehrig, Michael Löwe, Ugo Montanari, Francesca Rossi

Publication date 16 August 2022

Published in Graph Transformations in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-57787-4_6

Mathematics Subject Classification ID

Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1231496
• scientific article; zbMATH DE number 177420
• scientific article; zbMATH DE number 4049016
• Note on standard representation of graphs and graph derivations
• Parallel and distributed derivations in the single-pushout approach

Cites work

• scientific article; zbMATH DE number 4049095 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 4119660 (Why is no real title available?)
• Parallelism and concurrency in high-level replacement systems

Cited in

(12)

• Ugo Montanari and Graph Transformation
• scientific article; zbMATH DE number 1231496 (Why is no real title available?)
• scientific article; zbMATH DE number 1504829 (Why is no real title available?)
• The category of typed graph grammars and its adjunctions with categories of derivations
• Synchronized composition of graph grammar productions
• The decomposition of ESM computations
• scientific article; zbMATH DE number 919845 (Why is no real title available?)
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• Note on standard representation of graphs and graph derivations
• Canonical derivations for high-level replacement systems
• Contextual occurrence nets and concurrent constraint programming
• Concurrent graph and term graph rewriting

This page was built for publication: Abstract graph derivations in the double pushout approach

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