1. $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. (26th June 2014) Authors: EHRIG, HARTMUT; GOLAS, ULRIKE; HABEL, ANNEGRET; LAMBERS, LEEN; OREJAS, FERNANDO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. (26th June 2014) Authors: EHRIG, HARTMUT; GOLAS, ULRIKE; HABEL, ANNEGRET; LAMBERS, LEEN; OREJAS, FERNANDO Journal: Mathematical structures in computer science Issue: Volume 24:Number 4(2014) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗