C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Automating Cutoff-based Verification of Distributed Protocols.
Shreesha G. Bhat
Kartik Nagar
Published in:
FMCAD (2023)
Keyphrases
</>
distributed systems
cryptographic protocols
distributed data
communication overhead
multi agent
database replication
peer to peer
lightweight
distributed computing
protocol specification
commit protocols
distributed architecture
face verification
database
fault tolerant
computer networks
cooperative
data sets