Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg

Maria Maximova, Hartmut Ehrig, Claudia Ermel. Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg. Science of Computer Programming, 104:44-70, 2015. [doi]

Abstract

Abstract is missing.