Parallelism in single-pushout graph rewriting

DOI10.1007/3-540-57787-4_16MaRDI QIDQ5096286zbMATH OpenOpenAlexFDO

Authors Michael Löwe, Juergen Dingel

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_16

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

• Parallel and distributed derivations in the single-pushout approach
• Algebraic approach to single-pushout graph transformation
• scientific article; zbMATH DE number 139800
• Parallel Graph Rewriting with Overlapping Rules
• scientific article; zbMATH DE number 1231478

Cites work

• Algebraic approach to single-pushout graph transformation
• scientific article; zbMATH DE number 1638662 (Why is no real title available?)
• scientific article; zbMATH DE number 177436 (Why is no real title available?)
• scientific article; zbMATH DE number 3551921 (Why is no real title available?)
• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 4182847 (Why is no real title available?)
• On ``On graph rewritings
• On graph rewritings

Cited in

(20)

• Characterisation of parallel independence in AGREE-rewriting
• A simple notion of parallel graph transformation and its perspectives
• Independent parallelism in finite copying parallel rewriting systems
• Parallel rewriting of attributed graphs
• Double-pushout rewriting in context: rule composition and parallel independence
• Using matrix graph grammars for the analysis of behavioural specifications: sequential and parallel independence
• Parallelism in AGREE transformations
• Parallel and Sequential Independence for Borrowed Contexts
• scientific article; zbMATH DE number 4062632 (Why is no real title available?)
• scientific article; zbMATH DE number 1231478 (Why is no real title available?)
• scientific article; zbMATH DE number 1552516 (Why is no real title available?)
• Parallel Graph Rewriting with Overlapping Rules
• Graph rewriting in span-categories
• scientific article; zbMATH DE number 1418367 (Why is no real title available?)
• Parallel independence in attributed graph rewriting
• Graph Transformations
• Combining Parallel Graph Rewriting and Quotient Graphs
• Moving a derivation along a derivation preserves the spine
• Mechanised DPO theory: uniqueness of derivations and Church-Rosser theorem
• Parallel and distributed derivations in the single-pushout approach

This page was built for publication: Parallelism in single-pushout graph rewriting

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