Fast and Compact Distributed Verification and Self-Stabilization of a DFS Tree.

Shay Kutten Chhaya Trehan

Published in: CoRR (2014)

Keyphrases

distributed systems
tree structure
lightweight
model checking
depth first search
multi agent
distributed environment
face verification
fault tolerant
tree construction
real time
cooperative
wireless sensor networks
index structure
main memory
tree structures