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) ↗
3. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT 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) ↗
4. Analysis of permutation equivalence in $\mathcal{M}$-adhesive transformation systems with negative application conditions. (26th June 2014) Authors: HERMANN, FRANK; CORRADINI, ANDREA; EHRIG, HARTMUT 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) ↗
5. Finitary $\mathcal{M}$-adhesive categories. (26th June 2014) Authors: GABRIEL, KARSTEN; BRAATZ, BENJAMIN; EHRIG, HARTMUT; GOLAS, ULRIKE 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) ↗
6. Finitary $\mathcal{M}$-adhesive categories. (26th June 2014) Authors: GABRIEL, KARSTEN; BRAATZ, BENJAMIN; EHRIG, HARTMUT; GOLAS, ULRIKE 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) ↗
7. Formal analysis of model transformations based on triple graph grammars. (26th June 2014) Authors: HERMANN, FRANK; EHRIG, HARTMUT; GOLAS, ULRIKE; 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) ↗
8. Formal analysis of model transformations based on triple graph grammars. (26th June 2014) Authors: HERMANN, FRANK; EHRIG, HARTMUT; GOLAS, ULRIKE; 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) ↗
9. Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories. (26th June 2014) Authors: GOLAS, ULRIKE; HABEL, ANNEGRET; EHRIG, HARTMUT 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) ↗
10. Multi-amalgamation of rules with application conditions in $\mathcal{M}$-adhesive categories. (26th June 2014) Authors: GOLAS, ULRIKE; HABEL, ANNEGRET; EHRIG, HARTMUT 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) ↗