Abstract and concrete categories
Abstract and concrete categories
Algebraic approach to single-pushout graph transformation
Theoretical Computer Science - Special issue on selected papers of the International Workshop on Computing by Graph Transformation, Bordeaux, France, March 21–23, 1991
Hypergraph rewriting: critical pairs and undecidability of confluence
Term graph rewriting
Graph grammars with negative application conditions
Fundamenta Informaticae - Special issue on graph transformations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Term rewriting and all that
Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
The PROGRES approach: language and environment
Handbook of graph grammars and computing by graph transformation
Double-Pushout Approach with Injective Matching
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Introduction to the Algebraic Theory of Graph Grammars (A Survey)
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
On Termination of Graph Rewriting
WG '95 Proceedings of the 21st International Workshop on Graph-Theoretic Concepts in Computer Science
Hierarchical graph transformation
Journal of Computer and System Sciences
Computational Completeness of Programming Languages Based on Graph Transformation
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Relabelling in Graph Transformation
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Abstraction and control for shapely nested graph transformation
Fundamenta Informaticae - Special issue on the first international conference on graph transformation (ICGT 2002)
Abstract hierarchical graph transformation
Mathematical Structures in Computer Science
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Modeling Pointer Redirection as Cyclic Term-graph Rewriting
Electronic Notes in Theoretical Computer Science (ENTCS)
Adhesive DPO Parallelism for Monic Matches
Electronic Notes in Theoretical Computer Science (ENTCS)
On Term-Graph Rewrite Strategies
Electronic Notes in Theoretical Computer Science (ENTCS)
Progressing problems from requirements to specifications in problem frames
Proceedings of the 3rd international workshop on Applications and advances of problem frames
Parallel and Sequential Independence for Borrowed Contexts
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Correctness of high-level transformation systems relative to nested conditions†
Mathematical Structures in Computer Science
Comparison of Three Model Transformation Languages
ECMDA-FA '09 Proceedings of the 5th European Conference on Model Driven Architecture - Foundations and Applications
On Term Graphs as an Adhesive Category
Electronic Notes in Theoretical Computer Science (ENTCS)
Hereditary pushouts reconsidered
ICGT'10 Proceedings of the 5th international conference on Graph transformations
Adhesivity is not enough: local church-rosser revisited
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Processes for adhesive rewriting systems
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
Modelling parametric contracts and the state space of composite components by graph grammars
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
Graph processes with fusions: concurrency by colimits, again
Formal Methods in Software and Systems Modeling
Graph transformation with variables
Formal Methods in Software and Systems Modeling
Nested constraints and application conditions for high-level structures
Formal Methods in Software and Systems Modeling
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Graph transactions as processes
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Satisfiability of high-level conditions
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Concurrent rewriting for graphs with equivalences
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Confluence of graph transformation revisited
Processes, Terms and Cycles
A strategy language for graph rewriting
LOPSTR'11 Proceedings of the 21st international conference on Logic-Based Program Synthesis and Transformation
Theory of Constraints and Application Conditions: From Graphs to High-Level Structures
Fundamenta Informaticae - SPECIAL ISSUE ON ICGT 2004
Abstraction and Control for Shapely Nested Graph Transformation
Fundamenta Informaticae - The First International Conference on Graph Transformation (ICGT 2002)
Adhesivity with Partial Maps instead of Spans
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
M,N-adhesive transformation systems
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Generalised compositionality in graph transformation
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
A truly concurrent semantics for the K framework based on graph transformations
ICGT'12 Proceedings of the 6th international conference on Graph Transformations
Hi-index | 0.00 |
We introduce a framework that generalizes algebraic specifications by equipping algebras with descriptions of evaluation strategies. The resulting abstract mathematical description allows one to model the implementation of algebras on various ...