Fast and Compact Distributed Verification and Self-stabilization of a DFS Tree.
Shay KuttenChhaya TrehanPublished in: OPODIS (2014)
Keyphrases
- cooperative
- tree structure
- depth first search
- binary tree
- distributed systems
- distributed environment
- model checking
- formal methods
- data mining
- genetic algorithm
- mobile agents
- peer to peer
- computer networks
- distributed data
- multi agent systems
- communication overhead
- real time
- formal verification
- asynchronous circuits