The following pages link to (Q4122833):
Displaying 10 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)
