On the essence and initiality of conflicts in $\mathcal{M} $-adhesive transformation systems (Q2011208): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlamp.2019.100482
+Normal rank
@@ Property / OpenAlex ID @@
+W2970546136
@@ Property / OpenAlex ID: W2970546136 / rank @@
+Normal rank
@@ Property / cites work @@
+The Verigraph system for graph transformation
@@ Property / cites work: The Verigraph system for graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+On the essence and initiality of conflicts
@@ Property / cites work: On the essence and initiality of conflicts / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical perspective on adhesive categories
+Normal rank
@@ Property / cites work @@
+Granularity of Conflicts and Dependencies in Graph Transformation Systems
+Normal rank
@@ Property / cites work @@
+Restriction categories. I: Categories of partial maps
+Normal rank
@@ Property / cites work @@
+Restriction categories II: Partial map classification
+Normal rank
@@ Property / cites work @@
+AGREE – Algebraic Graph Rewriting with Controlled Embedding
+Normal rank
@@ Property / cites work @@
+The Pullback-Pushout Approach to Algebraic Graph Transformation
+Normal rank
@@ Property / cites work @@
+On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
+Normal rank
@@ Property / cites work @@
+Parallelism in AGREE Transformations
@@ Property / cites work: Parallelism in AGREE Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Sesqui-Pushout Rewriting
@@ Property / cites work: Sesqui-Pushout Rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Graph Grammars and Computing by Graph Transformation
+Normal rank
@@ Property / cites work @@
+Attribute Handling for Generating Preconditions from Graph Constraints
+Normal rank
@@ Property / cites work @@
+Q3416077
@@ Property / cites work: Q3416077 / rank @@
+Normal rank
@@ Property / cites work @@
+Fundamentals of algebraic graph transformation
@@ Property / cites work: Fundamentals of algebraic graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
+Normal rank
@@ Property / cites work @@
+-adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation
+Normal rank
@@ Property / cites work @@
+Q4904140
@@ Property / cites work: Q4904140 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph Transformations
@@ Property / cites work: Graph Transformations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4122833
@@ Property / cites work: Q4122833 / rank @@
+Normal rank
@@ Property / cites work @@
+Finitary -adhesive categories
@@ Property / cites work: Finitary -adhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Q4890712
@@ Property / cites work: Q4890712 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4502808
@@ Property / cites work: Q4502808 / rank @@
+Normal rank
@@ Property / cites work @@
+Double-pushout graph transformation revisited
@@ Property / cites work: Double-pushout graph transformation revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Methods in Software and Systems Modeling
@@ Property / cites work: Formal Methods in Software and Systems Modeling / rank @@
+Normal rank
@@ Property / cites work @@
+$\mathcal M, \mathcal N$ -Adhesive Transformation Systems
+Normal rank
@@ Property / cites work @@
+Q4828514
@@ Property / cites work: Q4828514 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+Adhesive and quasiadhesive categories
@@ Property / cites work: Adhesive and quasiadhesive categories / rank @@
+Normal rank
@@ Property / cites work @@
+Granularity of conflicts and dependencies in graph transformation systems: a two-dimensional approach
+Normal rank
@@ Property / cites work @@
+Initial conflicts and dependencies: critical pairs revisited
+Normal rank
@@ Property / cites work @@
+Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
+Normal rank
@@ Property / cites work @@
+Tableau-Based Reasoning for Graph Properties
@@ Property / cites work: Tableau-Based Reasoning for Graph Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic approach to single-pushout graph transformation
+Normal rank
@@ Property / cites work @@
+Graph Rewriting in Span-Categories
@@ Property / cites work: Graph Rewriting in Span-Categories / rank @@
+Normal rank
@@ Property / cites work @@
+Characterisation of parallel independence in AGREE-rewriting
+Normal rank
@@ Property / cites work @@
+Recent trends in algebraic development techniques. 18th international workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1--3, 2006. Revised selected papers.
+Normal rank
@@ Property / cites work @@
+Use Case Analysis Based on Formal Methods: An Empirical Study
+Normal rank
@@ Property / cites work @@
+Symbolic graphs for attributed graph constraints
@@ Property / cites work: Symbolic graphs for attributed graph constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Critical pairs in term graph rewriting
@@ Property / cites work: Critical pairs in term graph rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Processes, Terms and Cycles: Steps on the Road to Infinity
+Normal rank
@@ Property / cites work @@
+Modular termination of graph transformation
@@ Property / cites work: Modular termination of graph transformation / rank @@
+Normal rank
@@ Property / cites work @@
+On graph rewritings
@@ Property / cites work: On graph rewritings / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict Detection for Model Versioning Based on Graph Modifications
+Normal rank

On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208): Difference between revisions

Latest revision as of 04:11, 21 July 2024

Statements

Sitelinks

Mathematics(1 entry)