activity
20192026
most citedAnalysis of Graph Transformation Systems: Native vs Translation-based Techniques

3 citations · 3 across the 7 of their papers we have counts for

collaborators
Showing 2020Show all

1 paper · 1 filter

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…