scientific article; zbMATH DE number 4049095
From MaRDI portal
Publication:3785984
Recommendations
- scientific article; zbMATH DE number 177420
- On the expressive power of algebraic graph grammars with application conditions
- Introduction to graph grammars with applications to semantic networks
- Formal Methods in Software and Systems Modeling
- scientific article; zbMATH DE number 2016084
- scientific article; zbMATH DE number 177440
- scientific article; zbMATH DE number 4051027
- scientific article; zbMATH DE number 4049108
- scientific article; zbMATH DE number 1456950
- Structure graphs and structure graph grammars
Cited in
(28)- Hypermap rewriting: A combinatorial approach
- Computation graphs for actor grammars
- An abstract machine for concurrent modular systems: CHARM
- Term graph rewriting and garbage collection using opfibrations
- Generating irregular partitionable data structures
- Contextual Petri nets, asymmetric event structures, and processes
- Contextual nets
- Concurrent semantics for fusions: weak prime domains and connected event structures
- Non-perturbative graph languages, halting problem and complexity
- Confluence theory for graphs
- scientific article; zbMATH DE number 177420 (Why is no real title available?)
- scientific article; zbMATH DE number 1231483 (Why is no real title available?)
- The contractum in algebraic graph rewriting
- The category of typed graph grammars and its adjunctions with categories of derivations
- An event structure semantics for graph grammars with parallel productions
- Synchronized composition of graph grammar productions
- Concurrency for Graph Grammars in a Petri net shell
- Graph-grammar semantics of a higher-order programming language for distributed systems
- Abstract graph derivations in the double pushout approach
- Set-theoretic graph rewriting
- Patch graph rewriting
- scientific article; zbMATH DE number 7809761 (Why is no real title available?)
- Concurrent graph and term graph rewriting
- Locating the contractum in the double pushout approach
- Algebraic approach to single-pushout graph transformation
- Equivalence of computations in actor grammars
- Hyperedge replacement jungle rewriting for term-rewriting systems and logic programming
- Graph grammars, insertion Lie algebras, and quantum field theory
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 Q3785984)
