Login / Signup
Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks.
Hubert Garavel
Laurent Mounier
Published in:
Sci. Comput. Program. (1997)
Keyphrases
</>
orders of magnitude
computationally efficient
neural network
high level
computational cost
optimization problems
distributed systems
computer networks
peer to peer networks
genetic algorithm
learning algorithm
social networks
theoretical analysis
benchmark datasets
formal verification
computationally hard