TY - JOUR A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Habel, A. A1 - Lambers, L. A1 - Orejas, Fernando T1 - M-Adhesive Transformation Systems with Nested Application Conditions. Part 2 JF - Fundamenta Informaticae Y1 - 2012 U6 - https://doi.org/10.3233/FI-2012-705 VL - 118 IS - 1-2 SP - 35 EP - 63 ER - TY - JOUR A1 - Golas, Ulrike A1 - Lambers, L. A1 - Ehrig, Hartmut A1 - Orejas, Fernando T1 - Attributed Graph Transformation with Inheritance JF - Theoretical Computer Science Y1 - 2012 U6 - https://doi.org/10.1016/j.tcs.2012.01.032 VL - 424 SP - 46 EP - 68 ER - TY - CHAP A1 - Orejas, Fernando A1 - Boronat, Artur A1 - Golas, Ulrike A1 - Mylonakis, Nikos ED - Pfenning, Frank T1 - Checking Bisimilarity for Attributed Graph Transformation T2 - Foundations of Software Science and Computation Structures. Proceedings of FOSSACS 2013 Y1 - 2013 U6 - https://doi.org/10.1007/978-3-642-37075-5_8 VL - 7794 SP - 113 EP - 128 PB - Springer ER - TY - JOUR A1 - Hermann, Frank A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Orejas, Fernando T1 - Formal Analysis of Model Transformations Based on Triple Graph Grammars JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000370 VL - 24 IS - 4 SP - 1 EP - 57 ER - TY - JOUR A1 - Ehrig, Hartmut A1 - Golas, Ulrike A1 - Habel, A. A1 - Lambers, L. A1 - Orejas, Fernando T1 - M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurreny and Amalgamation JF - Mathematical Structures in Computer Science Y1 - 2014 U6 - https://doi.org/10.1017/S0960129512000357 VL - 24 IS - 4 SP - 1 EP - 48 ER -