Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs

Ulrike Golas, Leen Lambers, Hartmut Ehrig, Fernando Orejas. Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs. Theoretical Computer Science, 424:46-68, 2012. [doi]

Abstract

Abstract is missing.