Automatic Completion of Distributed Protocols with Symmetry.
Rajeev AlurMukund RaghothamanChristos StergiouStavros TripakisAbhishek UdupaPublished in: CoRR (2015)
Keyphrases
- distributed systems
- fault tolerant
- multi agent
- cooperative
- lightweight
- semi automatic
- fully automatic
- distributed environment
- loosely coupled
- multi party
- database replication
- databases
- symmetry detection
- distributed learning
- distributed architecture
- communication overhead
- distributed computing
- agent technology
- computing environments
- multi agent systems
- data mining
- neural network