Parallelism in AGREE transformations

DOI10.1007/978-3-319-40530-8_3MaRDI QIDQ3187802zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, Dominique Duval, Frédéric Prost, Leila Ribeiro

Publication date 5 September 2016

Published in Graph Transformation (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/11568/902981

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Characterisation of parallel independence in AGREE-rewriting
• AGREE -- algebraic graph rewriting with controlled embedding
• Graph Transformations
• Parallel Graph Rewriting with Overlapping Rules
• Parallelism in single-pushout graph rewriting

Cites work

• scientific article; zbMATH DE number 3633737 (Why is no real title available?)
• scientific article; zbMATH DE number 1437942 (Why is no real title available?)
• AGREE -- algebraic graph rewriting with controlled embedding
• Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• Foundations of Software Science and Computation Structures
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• Parallel and Sequential Independence for Borrowed Contexts
• Parallel and distributed derivations in the single-pushout approach
• Restriction categories II: Partial map classification
• Reversible sesqui-pushout rewriting
• Sesqui-Pushout Rewriting

Cited in

(4)

• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Algebraic graph rewriting with controlled embedding
• Two-transitive parallelisms
• Characterisation of parallel independence in AGREE-rewriting

Describes a project that uses

Uses Software

• AGREE

This page was built for publication: Parallelism in AGREE transformations

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