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

concurrent semanticsgraph transformationnegative 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
• 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)

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

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)