The following pages link to (Q4122833):
Displaying 16 items.
- An algebraic characterization of independence of Petri net processes (Q1028983) (← links)
- Parallelism and concurrency of graph manipulations (Q1147520) (← links)
- Processes of transforming structures (Q1166273) (← links)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems (Q2011208) (← links)
- Confluence up to garbage in graph transformation (Q2049983) (← links)
- Parallel rewriting of attributed graphs (Q2215963) (← links)
- Parallel coherent graph transformations (Q2237338) (← links)
- Multi-amalgamated Triple Graph Grammars (Q2947213) (← links)
- Confluence of Graph Rewriting with Interfaces (Q2988637) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- On edge addition rewrite systems and their relevance to program analysis (Q4645285) (← links)
- Basic Results for Two Types of High-Level Replacement Systems (Q4923535) (← links)
- (Q5021233) (← links)
- Confluence up to Garbage (Q5100723) (← links)
- String diagram rewrite theory III: Confluence with and without Frobenius (Q5879265) (← links)
- Collapsed tree rewriting: Completeness, confluence, and modularity (Q5881178) (← links)
