Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas. -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. Mathematical Structures in Computer Science, 24(4), 2014. [doi]
Abstract is missing.