The following pages link to (Q4694747):
Displaying 10 items.
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- \(\rho\) graph: Rendezvous ordering graph for Ada concurrent programs (Q1273083) (← links)
- Categorical Foundations of Distributed Graph Transformation (Q3541961) (← links)
- Categorial Semantics of a Solution to Distributed Dining Philosophers Problem (Q3587349) (← links)
- (Q4845051) (← links)
- Distributed catenation and chomsky hierarchy (Q5055903) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)
- On relating rewriting systems and graph grammars to event structures (Q5096291) (← links)
- Concurrent graph and term graph rewriting (Q6162098) (← links)