$\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation.
Saved in:
| Title: | $\mathcal{M}$-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation. |
|---|---|
| Authors: | EHRIG, HARTMUT1 ehrig@cs.tu-berlin.de, GOLAS, ULRIKE2 golas@zib.de, HABEL, ANNEGRET3 habel@informatik.uni-oldenburg.de, LAMBERS, LEEN4 leen.lambers@hpi.uni-potsdam.de, OREJAS, FERNANDO5 orejas@lsi.upc.edu |
| Source: | Mathematical Structures in Computer Science. Aug2014, Vol. 24 Issue 4, pN.PAG-00. 1p. |
| Database: | Mathematics Source |
| ISSN: | 09601295 |
|---|---|
| DOI: | 10.1017/S0960129512000357 |
