@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{GolasLambersEhrigetal.2012, author = {Golas, Ulrike and Lambers, L. and Ehrig, Hartmut and Orejas, Fernando}, title = {Attributed Graph Transformation with Inheritance}, series = {Theoretical Computer Science}, volume = {424}, journal = {Theoretical Computer Science}, doi = {10.1016/j.tcs.2012.01.032}, pages = {46 -- 68}, year = {2012}, language = {en} } @inproceedings{OrejasBoronatGolasetal.2013, author = {Orejas, Fernando and Boronat, Artur and Golas, Ulrike and Mylonakis, Nikos}, title = {Checking Bisimilarity for Attributed Graph Transformation}, series = {Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013}, volume = {7794}, booktitle = {Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013}, editor = {Pfenning, Frank}, publisher = {Springer}, doi = {10.1007/978-3-642-37075-5_8}, pages = {113 -- 128}, year = {2013}, language = {en} } @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} }