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

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
(8 intermediate revisions by 5 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.tcs.2012.01.032 / rank
Normal rank
 
Property / describes a project that uses
 
Property / describes a project that uses: GROOVE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: OOZE / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: Henshin / rank
 
Normal rank
Property / describes a project that uses
 
Property / describes a project that uses: AGG / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2012.01.032 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1982728514 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Graph Grammars and Computing by Graph Transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of Graph Grammars and Computing by Graph Transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4438797 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fundamentals of algebraic graph transformation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Attributed graph transformation with node type inheritance / rank
 
Normal rank
Property / cites work
 
Property / cites work: Defining Object-Oriented Execution Semantics Using Graph Transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Graph Transformations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Verification of Object-Oriented Graph Grammars Specifications / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3907081 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars / rank
 
Normal rank
Property / cites work
 
Property / cites work: Fundamental Approaches to Software Engineering / rank
 
Normal rank
Property / cites work
 
Property / cites work: Partial confluence of processes and systems of objects / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5581665 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Processes, Terms and Cycles: Steps on the Road to Infinity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conflict Detection for Graph Transformation with Negative Application Conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Embedding and Confluence of Graph Transformations with Negative Application Conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Parallelism and Concurrency in Adhesive High-Level Replacement Systems with Negative Application Conditions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Formal Methods in Software and Systems Modeling / rank
 
Normal rank
Property / cites work
 
Property / cites work: Local Confluence for Rules with Nested Application Conditions / rank
 
Normal rank
Property / DOI
 
Property / DOI: 10.1016/J.TCS.2012.01.032 / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Latest revision as of 16:56, 9 December 2024

scientific article
Language Label Description Also known as
English
Attributed graph transformation with inheritance: efficient conflict detection and local confluence analysis using abstract critical pairs
scientific article

    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