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 T2 - Mathematical Structures in Computer Science Y1 - 2014 UR - https://opus4.kobv.de/opus4-zib/frontdoor/index/index/docId/5085 VL - 24 IS - 4 SP - 1 EP - 48 ER -