Embedding and Confluence of Graph Transformations with Negative Application Conditions
From MaRDI portal
Publication:3540396
DOI10.1007/978-3-540-87405-8_12zbMATH Open1175.68227OpenAlexW1573340220MaRDI QIDQ3540396FDOQ3540396
Authors: Leen Lambers, Hartmut Ehrig, Ulrike Prange, Fernando Orejas 
Publication date: 20 November 2008
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-87405-8_12
Recommendations
- \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
- Transformation systems with incremental negative application conditions
- Conflict Detection for Graph Transformation with Negative Application Conditions
- Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
- Canonical derivations with negative application conditions
Cites Work
- Handbook of Graph Grammars and Computing by Graph Transformation
- Title not available (Why is that?)
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Fundamentals of algebraic graph transformation
- Parallelism and concurrency in adhesive high-level replacement systems with negative application conditions
- Conflict Detection for Graph Transformation with Negative Application Conditions
- Processes, Terms and Cycles: Steps on the Road to Infinity
- Title not available (Why is that?)
- Graph Transformations
Cited In (4)
- Processes, Terms and Cycles: Steps on the Road to Infinity
- \(\mathcal M\)-adhesive transformation systems with nested application conditions. II: Embedding, critical pairs and local confluence
- Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
- Conflict Detection for Graph Transformation with Negative Application Conditions
Uses Software
This page was built for publication: Embedding and Confluence of Graph Transformations with Negative Application Conditions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540396)
