Output details
11 - Computer Science and Informatics
University of Leicester
Output title
DPO Transformation with Open Maps
Type
E - Conference contribution
Name of conference/published proceedings
Graph Transformations - 6th International Conference, ICGT 2012
Volume number
7562 LNCS
Issue number
-
First page of article
203
ISSN of proceedings
-
Year of publication
2012
URL
-
Number of additional authors
0
Additional information
<10>The work was used as evidence by Danos et al. (FSTTCS'12, CONCUR'13) Hayman et al. (FOSSACS'13) that their kappa graph rewriting language for biological modelling is strongly related to the mainstream theory based on adhesive categories and that, in particular, the unusual matching constraints can be handled categorically.
A fundamental flaw in the model of concurrency of transformations with negative application conditions (NACs) found in the the paper has renewed the interest in concurrency theory of graph transformation with NACs and inspired an informal Workshop on Graph Transformation and Concurrency (GT&C'13) where, in particular, concurrency of controlled transformations was discussed.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
