Automatic Synthesis of Distributed Protocols.
Rajeev AlurStavros TripakisPublished in: SIGACT News (2017)
Keyphrases
- distributed systems
- cooperative
- peer to peer
- data driven
- semi automatic
- fully automatic
- distributed environment
- distributed architecture
- fault tolerant
- database replication
- program synthesis
- group communication
- communication overhead
- multi party
- texture synthesis
- communication cost
- computing environments
- genetic algorithm
- multi agent