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…