Towards the Formal Design of Self-Stabilizing Distributed Algorithms.

P. J. A. Lentfert S. Doaitse Swierstra

Published in: STACS (1993)

Keyphrases

computationally efficient
times faster
real time
significant improvement
data structure
cooperative
optimization problems
machine learning algorithms
worst case
distributed systems
peer to peer
recently developed
communication cost
distributed constraint satisfaction