Synthesis of Distributed Protocols by Enumeration Modulo Isomorphisms.

Derek Egolf Stavros Tripakis

Published in: CoRR (2023)

Keyphrases

cooperative
multi agent
distributed systems
distributed architecture
distributed environment
information systems
distributed network
search space
dynamic programming
response time
data model
lightweight
fault tolerant
distributed computing
database systems
communication protocol
databases