M-Adhesive Transformation Systems with Nested Application Conditions. Part 1: Parallelism, Concurreny and Amalgamation
Author: | Hartmut Ehrig, Ulrike Golas, A. Habel, L. Lambers, Fernando Orejas |
---|---|
Document Type: | Article |
Parent Title (English): | Mathematical Structures in Computer Science |
Volume: | 24 |
Issue: | 4 |
First Page: | 1 |
Last Page: | 48 |
Year of first publication: | 2014 |
DOI: | https://doi.org/10.1017/S0960129512000357 |