Paxos Made EPR: Decidable Reasoning about Distributed Protocols.

Oded Padon Giuliano Losa Mooly Sagiv Sharon Shoham

Published in: CoRR (2017)

Keyphrases

commit protocols
distributed database systems
distributed databases
transaction processing
distributed environment
distributed systems
transaction management
fault tolerant
database
databases
relational databases
query language
decision support
concurrency control