Pages that link to "Item:Q1261464"
From MaRDI portal
The following pages link to Computing with graph rewriting systems with priorities (Q1261464):
Displaying 6 items.
- Checking Global Graph Properties by Means of Local Computations: the Majority Problem (Q4222809) (← links)
- On the interleaving semantics of transformation units — A step into GRACE (Q4645269) (← links)
- Visualization of Distributed Algorithms Based on Graph Relabelling Systems1 1This work has been supported by the European TMR research network GETGRATS, and by the “Conseil Régional d' Aquitane”. (Q4921550) (← links)
- Graph Relabelling Systems (Q4923532) (← links)
- Proving convergence of self-stabilizing systems using first-order rewriting and regular languages (Q5138353) (← links)
- The Kronecker product and local computations in graphs (Q5878897) (← links)