3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2020
Initial Conflicts for Transformation Rules with Nested Application Conditions
Leen Lambers, Fernando Orejas
We extend the theory of initial conflicts in the framework of M-adhesive categories to transformation rules with ACs. We first show that for rules with ACs, conflicts are in genera…
cs.SE2019★ 3 cited
Analysis of Graph Transformation Systems: Native vs Translation-based Techniques
Reiko Heckel, Leen Lambers, Maryam Ghaffari Saadat
The paper summarises the contributions in a session at GCM 2019 presenting and discussing the use of native and translation-based solutions to common analysis problems for Graph Tr…