Pages that link to "Item:Q685460"
From MaRDI portal
The following pages link to Algebraic approach to single-pushout graph transformation (Q685460):
Displaying 31 items.
- Pragmatic and semantic aspects of a module concept for graph transformation systems (Q4645272) (← links)
- Synchronized composition of graph grammar productions (Q4645281) (← links)
- Formal relationship between graph grammars and Petri nets (Q4645283) (← links)
- Graph Rewriting in Span-Categories (Q4931317) (← links)
- (Q5020536) (← links)
- (Q5020539) (← links)
- (Q5021217) (← links)
- ESM systems and the composition of their computations (Q5096283) (← links)
- Parallelism in single-pushout graph rewriting (Q5096286) (← links)
- Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system (Q5096295) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- On the expressive power of algebraic graph grammars with application conditions (Q5096746) (← links)
- A Port Graph Rewriting Approach to Relational Database Modelling (Q5097637) (← links)
- Single Pushout Rewriting in Comprehensive Systems (Q5100728) (← links)
- Patch Graph Rewriting (Q5100730) (← links)
- Allegories and Collagories for Transformation of Graph Structures Considered as Coalgebras (Q5283211) (← links)
- Modelling Dynamic Software Architectures using Typed Graph Grammars (Q5403458) (← links)
- SINGLE-PUSHOUT TRANSFORMATION OF TOTAL ALGEBRAS (Q5696974) (← links)
- Formal Methods in Software and Systems Modeling (Q5710428) (← links)
- Processes and unfoldings: concurrent computations in adhesive categories (Q5740371) (← links)
- Multi-amalgamation of rules with application conditions in -adhesive categories (Q5740374) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
- Reversible causal graph dynamics: invertibility, block representation, vertex-preservation (Q6151164) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)
- Computational Category-Theoretic Rewriting (Q6487309) (← links)
- Finding the right way to Rome: effect-oriented graph transformation (Q6535506) (← links)
- Fuzzy presheaves are quasitoposes (Q6535509) (← links)
- From linear term rewriting to graph rewriting with preservation of termination (Q6649533) (← links)
- Algebraic properties and transformations of monographs (Q6652464) (← links)
