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

Aman Goel Karem A. Sakallah

Published in: NFM (2021)

Keyphrases

database
distributed systems
cooperative
fault tolerant
distributed data
database replication
databases
multi agent
lightweight
mobile agents
distributed environment
multi party
communication protocols
data mining
communication overhead