@article{EhrigGolasHabeletal.2012, 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 2}, series = {Fundamenta Informaticae}, volume = {118}, journal = {Fundamenta Informaticae}, number = {1-2}, doi = {10.3233/FI-2012-705}, pages = {35 -- 63}, year = {2012}, language = {en} } @article{GolasHabelEhrig, author = {Golas, Ulrike and Habel, A. and Ehrig, Hartmut}, title = {Multi-Amalgamation of Rules with Application Conditions in M-Adhesive Categories}, series = {Mathematical Structures in Computer Science}, volume = {24}, journal = {Mathematical Structures in Computer Science}, number = {4}, doi = {10.1017/S0960129512000345}, pages = {1 -- 68}, 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} }