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
    0 references
    0 references
    0 references
    21 March 2014
    0 references
    conflict
    0 references
    confluence
    0 references
    critical pair
    0 references
    graph transformation
    0 references

    Identifiers