Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (Q418014)

From MaRDI portal





scientific article; zbMATH DE number 6034864
Language Label Description Also known as
default for all languages
No label defined
    English
    Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
    scientific article; zbMATH DE number 6034864

      Statements

      Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs (English)
      0 references
      0 references
      0 references
      0 references
      0 references
      14 May 2012
      0 references
      typed attributed graph transformation
      0 references
      critical pair analysis
      0 references
      inheritance
      0 references
      \(M\)-adhesive category with NACs
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references