The following pages link to Distributed Graph Automata (Q4635803):
Displaying 8 items.
- What can be verified locally? (Q1672006) (← links)
- Emptiness problems for distributed automata (Q2182732) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- A hierarchy of local decision (Q2219059) (← links)
- Relating Paths in Transition Systems: The Fall of the Modal Mu-Calculus (Q2946334) (← links)
- Constant space and non-constant time in distributed computing (Q3300833) (← links)
- Communicating Finite-State Machines and Two-Variable Logic (Q3304111) (← links)
- (Q3384173) (← links)