Parallelism in AGREE transformations

DOI10.1007/978-3-319-40530-8_3zbMATH Open1344.68106OpenAlexW2494099535MaRDI QIDQ3187802FDOQ3187802

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cites Work

• Title not available (Why is that?)
• Foundations of Software Science and Computation Structures
• Sesqui-Pushout Rewriting
• Title not available (Why is that?)
• Restriction categories II: Partial map classification
• Parallel and distributed derivations in the single-pushout approach
• Categorical frameworks for graph transformation and HLR systems based on the DPO approach
• Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models
• AGREE -- algebraic graph rewriting with controlled embedding
• Parallel and Sequential Independence for Borrowed Contexts
• Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
• Reversible 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

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)