Automated Synthesis of Distributed Self-Stabilizing Protocols.
Fathiyeh FaghihBorzoo BonakdarpourSébastien TixeuilSandeep S. KulkarniPublished in: Log. Methods Comput. Sci. (2018)
Keyphrases
- cooperative
- distributed systems
- distributed network
- multi agent
- peer to peer
- distributed environment
- fully automated
- group communication
- distributed learning
- distributed data
- computing environments
- mobile agents
- loosely coupled
- computer networks
- real time
- search algorithm
- database systems
- learning algorithm
- databases
- data sets