Parallel rewriting of attributed graphs

DOI10.1016/J.TCS.2020.09.025MaRDI QIDQ2215963zbMATH OpenOpenAlexFDO

Authors Thierry Boy de la Tour, Rachid Echahed

Publication date 15 December 2020

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2020.09.025

zbMATH Keywords

graph transformationrewrite systemsparallel rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Parallel Graph Rewriting with Overlapping Rules
• Parallelism in single-pushout graph rewriting
• scientific article; zbMATH DE number 1231478
• Combining Parallel Graph Rewriting and Quotient Graphs
• scientific article; zbMATH DE number 4062632

Cites work

• scientific article; zbMATH DE number 1818513 (Why is no real title available?)
• scientific article; zbMATH DE number 108369 (Why is no real title available?)
• scientific article; zbMATH DE number 3548465 (Why is no real title available?)
• scientific article; zbMATH DE number 789389 (Why is no real title available?)
• scientific article; zbMATH DE number 1418367 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• A simple notion of parallel graph transformation and its perspectives
• AGREE -- algebraic graph rewriting with controlled embedding
• An optimality result for clause form translation
• Characterisation of parallel independence in AGREE-rewriting
• Foundations of algebraic specification and formal software development.
• From imperative to rule-based graph programs
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Graph multiset transformation: a new framework for massively parallel computation inspired by DNA computing
• Group-theoretic algorithms and graph isomorphism
• Handbook of Graph Grammars and Computing by Graph Transformation
• Inductively Sequential Term-Graph Rewrite Systems
• On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
• PORGY: strategy-driven interactive transformation of graphs
• Parallel Graph Rewriting with Overlapping Rules
• Parallel and distributed derivations in the single-pushout approach
• Parallel high-level replacement systems
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Synchronization algebras with mobility for graph transformations
• Verifying graph transformation systems with description logics

Cited in

(7)

• scientific article; zbMATH DE number 7456063 (Why is no real title available?)
• Parallel Graph Rewriting with Overlapping Rules
• Combining Parallel Graph Rewriting and Quotient Graphs
• Algebraic properties and transformations of monographs
• Towards attributed graphs in Groove (work in progress)
• A rule-based procedure for graph query solving
• Parallel coherent graph transformations

Describes a project that uses

Uses Software

• AGREE
• PORGY

This page was built for publication: Parallel rewriting of attributed graphs

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