Abstract graph derivations in the double pushout approach

DOI10.1007/3-540-57787-4_6zbMath1494.68104OpenAlexW1496459411MaRDI QIDQ5096276

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

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

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

Related Items (9)

Note on standard representation of graphs and graph derivations ⋮ Canonical derivations for high-level replacement systems ⋮ Contextual occurrence nets and concurrent constraint programming ⋮ Ugo Montanari and Graph Transformation ⋮ Concurrent graph and term graph rewriting ⋮ Unnamed Item ⋮ The category of typed graph grammars and its adjunctions with categories of derivations ⋮ Synchronized composition of graph grammar productions ⋮ The decomposition of ESM computations

Cites Work

• Parallelism and concurrency in high-level replacement systems
• Unnamed Item
• Unnamed Item
• Unnamed Item

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