Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte
eds.: Lambers, Leen ; Weber, Jens (2018)
Equivalence and Independence in Controlled Graph-Rewriting Processes.
11th International Conference on Graph Transformation (ICGT'18).
Conference or Workshop Item, Bibliographie
Abstract
Graph transformation systems (GTS) are often defined as sets of rules that can be applied repeatedly and non-deterministically to model the evolution of a system. Several semantics proposed for GTSs are relevant in this case, providing means for analysing the system's behaviour in terms of dependencies, conflicts and potential parallelism among the relevant events. Several other approaches equip GTSs with an additional control layer useful for specifying rule application strategies, for example to describe graph manipulation algorithms. Almost invariably, the latter approaches consider only an input-output semantics, for which the above mentioned semantics are irrelevant.
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2018 |
| Editors: | Lambers, Leen ; Weber, Jens |
| Creators: | Kulcsar, Geza ; Corradini, Andrea ; Lochau, Malte |
| Type of entry: | Bibliographie |
| Title: | Equivalence and Independence in Controlled Graph-Rewriting Processes |
| Language: | English |
| Date: | 2018 |
| Publisher: | Springer |
| Event Title: | 11th International Conference on Graph Transformation (ICGT'18) |
| Abstract: | Graph transformation systems (GTS) are often defined as sets of rules that can be applied repeatedly and non-deterministically to model the evolution of a system. Several semantics proposed for GTSs are relevant in this case, providing means for analysing the system's behaviour in terms of dependencies, conflicts and potential parallelism among the relevant events. Several other approaches equip GTSs with an additional control layer useful for specifying rule application strategies, for example to describe graph manipulation algorithms. Almost invariably, the latter approaches consider only an input-output semantics, for which the above mentioned semantics are irrelevant. |
| Divisions: | 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering DFG-Collaborative Research Centres (incl. Transregio) DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology DFG-Collaborative Research Centres (incl. Transregio) > Collaborative Research Centres > CRC 1053: MAKI – Multi-Mechanisms Adaptation for the Future Internet > A: Construction Methodology > Subproject A1: Modelling |
| Date Deposited: | 05 Jul 2018 09:43 |
| Last Modified: | 27 Nov 2018 09:41 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Send an inquiry |
Options (only for editors)
 |
Show editorial Details |
Drucken
Impressum