Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.
Derek EgolfStavros TripakisPublished in: ATVA (1) (2023)
Keyphrases
- distributed systems
- cooperative
- distributed environment
- search space
- dynamic programming
- fault tolerant
- texture synthesis
- multi agent
- distributed network
- distributed learning
- database replication
- case study
- commit protocols
- heterogeneous environments
- distributed architecture
- distributed data
- computing environments
- search algorithm