@article{HermannEhrigGolasetal., author = {Hermann, Frank and Ehrig, Hartmut and Golas, Ulrike and Orejas, Fernando}, title = {Formal Analysis of Model Transformations Based on Triple Graph Grammars}, series = {Mathematical Structures in Computer Science}, volume = {24}, journal = {Mathematical Structures in Computer Science}, number = {4}, doi = {10.1017/S0960129512000370}, pages = {1 -- 57}, language = {en} } @article{EhrigGolasHabeletal., author = {Ehrig, Hartmut and Golas, Ulrike and Habel, A. and Lambers, L. and Orejas, Fernando}, title = {M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurreny and Amalgamation}, series = {Mathematical Structures in Computer Science}, volume = {24}, journal = {Mathematical Structures in Computer Science}, number = {4}, doi = {10.1017/S0960129512000357}, pages = {1 -- 48}, language = {en} }