Transformation systems with incremental negative application conditions

DOI10.1007/978-3-642-37635-1_8MaRDI QIDQ2848878zbMATH OpenOpenAlexFDO

Authors Andrea Corradini, R. Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall

Publication date 13 September 2013

Published in Recent Trends in Algebraic Development Techniques (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-37635-1_8

zbMATH Keywords

graph transformationconcurrent semanticsnegative application conditionsswitch equivalence

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Embedding and Confluence of Graph Transformations with Negative Application Conditions
• Conflict Detection for Graph Transformation with Negative Application Conditions
• \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
• Canonical derivations with negative application conditions
• scientific article; zbMATH DE number 919847

Cited in

(12)

• Conflict Detection for Graph Transformation with Negative Application Conditions
• Embedding and Confluence of Graph Transformations with Negative Application Conditions
• Canonical derivations with negative application conditions
• Graph Transformation in Constant Time
• Graph Transformation Systems in CHR
• Finding the right way to Rome: effect-oriented graph transformation
• Well-structured graph transformation systems with negative application conditions
• Graph transformation with incremental updates
• Analysis of permutation equivalence in \(\mathcal{M}\)-adhesive transformation systems with negative application conditions
• Subobject transformation systems
• From pattern invocation networks to rule preconditions
• scientific article; zbMATH DE number 7456052 (Why is no real title available?)

This page was built for publication: Transformation systems with incremental negative application conditions

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