An Automata-Theoretic Approach to the Verification of Distributed Algorithms.
C. AiswaryaBenedikt BolligPaul GastinPublished in: CONCUR (2015)
Keyphrases
- cooperative
- orders of magnitude
- distributed systems
- data structure
- significant improvement
- computationally efficient
- computational efficiency
- distributed constraint optimization
- database
- distributed computation
- graph theory
- distributed environment
- cellular automata
- benchmark datasets
- computational cost
- multi agent
- decision trees
- learning algorithm