Preface to the special issue on the 11th International Conference on Graph Transformation

被引：0

作者：

Lambers, Leen ^{[1
]}

Weber, Jens ^{[2
]}

机构：

[1] Univ Potsdam, Hasso Plattner Inst, Potsdam, Germany

[2] Univ Victoria, Victoria, BC, Canada

来源：

JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING | 2020年 / 112卷

关键词：

Graph transformation; Graph languages; Conflicts and dependencies in graph transformation; Concurrent graph rewriting;

D O I：

10.1016/j.jlamp.2020.100525

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This special issue contains extended versions of four selected papers from the 11th International Conference on Graph Transformation (ICGT 2018). The articles cover a tool for computing core graphs via SAT/SMT solvers (graph language definition), graph transformation through graph surfing in reaction systems (a new graph transformation formalism), the essence and initiality of conflicts in M-adhesive transformation systems, and a calculus of concurrent graph-rewriting processes (theory on conflicts and parallel independence). (C) 2020 Elsevier Inc. All rights reserved.

引用

页数：2

共 50 条

[1] Special Issue on the 11th International Conference on Catalysis in Membrane Reactors Preface
Sousa, Jose M.
Basile, Angelo
Crespo, Joao
[J]. CATALYSIS TODAY, 2014, 236 : 1 - 2
[2] Preface to the special issue on the 12th International Conference on Graph Transformation
Guerra, Esther
Orejas, Fernando
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2020, 115
[3] Preface to the special issue on the 10th International Conference on Graph Transformation
Plump, Detlef
de Lara, Juan
[J]. JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2019, 104 : 174 - 175
[4] Special issue:: 11th European Bioenergetics Conference -: Preface
Moore, T
[J]. BIOCHIMICA ET BIOPHYSICA ACTA-BIOENERGETICS, 2000, 1459 (2-3): : VIII - VIII
[5] Special Issue: 11th International Meeting on Cholinesterases Preface
Lushchekina, Sofya
Masson, Patrick
Rosenberry, Terrone L.
[J]. CHEMICO-BIOLOGICAL INTERACTIONS, 2013, 203 (01) : 1 - 2
[6] Special Issue: 11th International Conference ELEKTRO 2016
Frivaldsky, Michal
[J]. ELECTRICAL ENGINEERING, 2017, 99 (04) : 1139 - 1139
[7] Special issue on 'The 11th International Conference on Vibration Problems'
Dimitrovova, Zuzana
Bracciali, Andrea
[J]. PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART F-JOURNAL OF RAIL AND RAPID TRANSIT, 2015, 229 (04) : 343 - 344
[8] Preface to the special Issue on the 11th International Conference on Mechanics of Time-Dependent Materials
Briatico Vangosa, Francesco
Marano, Claudia
[J]. MECHANICS OF TIME-DEPENDENT MATERIALS, 2020, 24 (04) : 419 - 420
[9] Preface to the special Issue on the 11th International Conference on Mechanics of Time-Dependent Materials
Francesco Briatico Vangosa
Claudia Marano
[J]. Mechanics of Time-Dependent Materials, 2020, 24 : 419 - 420
[10] Preface Special Issue "11th CONFERENCE ON INDUSTRIAL COMPUTED TOMOGRAPHY"
Kastner, Johann
Senck, Sascha
[J]. NONDESTRUCTIVE TESTING AND EVALUATION, 2022, 37 (05) : 495 - 496

← 1 2 3 4 5 →