On Symmetry and Quantification: A New Approach to Verify Distributed Protocols.

Aman Goel Karem A. Sakallah

Published in: CoRR (2021)

Keyphrases

distributed systems
database replication
peer to peer
cooperative
communication cost
agent technology
multi party
real time
data sets
multi agent
application level
distributed processing
replicated databases
symmetry detection