Login / Signup
Smart Casual Verification of CCF's Distributed Consensus and Consistency Protocols.
Heidi Howard
Markus A. Kuppe
Edward Ashton
Amaury Chamayou
Natacha Crooks
Published in:
CoRR (2024)
Keyphrases
</>
distributed systems
distributed environment
multi party
database replication
multi agent
model checking
fault tolerant
verification method
web services
cooperative
mobile agents
computer networks
computing environments
concurrency control protocols