Martin Strecker. Locality in Reasoning about Graph Transformations. In Andy Schürr, Dániel Varró, Gergely Varró, editors, Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Volume 7233 of Lecture Notes in Computer Science, pages 169-181, Springer, 2011. [doi]
Abstract is missing.