Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (Q5404172)
From MaRDI portal
scientific article; zbMATH DE number 6272264
Language | Label | Description | Also known as |
---|---|---|---|
English | Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs |
scientific article; zbMATH DE number 6272264 |
Statements
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs (English)
0 references
21 March 2014
0 references
conflict
0 references
confluence
0 references
critical pair
0 references
graph transformation
0 references