scientific article; zbMATH DE number 177439
From MaRDI portal
Publication:4037314
Recommendations
Cited in
(36)- Characteristics of graph languages generated by edge replacement
- First steps towards an institution of algebra replacement systems
- Parallel high-level replacement systems
- Categorical approach to horizontal structuring and refinement of high-level replacement systems
- Single pushout rewriting in comprehensive systems of graph-like structures
- Finite limits and anti-unification in substitution categories
- Petri net modules in the transformation-based component framework
- scientific article; zbMATH DE number 446837 (Why is no real title available?)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions
- scientific article; zbMATH DE number 3915647 (Why is no real title available?)
- Parallelism and concurrency in high-level replacement systems
- scientific article; zbMATH DE number 176940 (Why is no real title available?)
- scientific article; zbMATH DE number 177440 (Why is no real title available?)
- scientific article; zbMATH DE number 4125035 (Why is no real title available?)
- scientific article; zbMATH DE number 1504836 (Why is no real title available?)
- The contractum in algebraic graph rewriting
- Pragmatic and semantic aspects of a module concept for graph transformation systems
- Hierarchically distributed graph transformation
- Transformations of graph grammars
- Basic results for two types of high-level replacement systems
- Designing and Learning Substitutable Plane Graph Grammars
- Canonical derivations for high-level replacement systems
- Logic based structure rewriting systems
- A decade of TAPSOFT. Aspects of progress and prospects in theory and practice of software development
- On the expressive power of algebraic graph grammars with application conditions
- Allegories and collagories for transformation of graph structures considered as coalgebras
- Adhesive and quasiadhesive categories
- Horizontal and vertical structuring techniques for statecharts
- Multilevel graph grammars
- Specification of graph translators with triple graph grammars
- Locating the contractum in the double pushout approach
- Algebraic approach to single-pushout graph transformation
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Categorical principles, techniques and results for high-level-replacement systems in computer science
- Construction and properties of adhesive and weak adhesive high-level replacement categories
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037314)
