Hardened Paxos Through Consistency Validation.

Rodrigo R. Barbieri Gustavo M. D. Vieira

Published in: CoRR (2017)

Keyphrases

commit protocols
computer simulation
distributed database systems
global constraints
consistency checking