Paxos made EPR: decidable reasoning about distributed protocols.

Oded Padon Giuliano Losa Mooly Sagiv Sharon Shoham

Published in: Proc. ACM Program. Lang. (2017)

Keyphrases

commit protocols
distributed database systems
distributed databases
transaction processing
distributed environment
distributed systems
transaction management
website
database systems
management system
database
decision making
xml documents
computer networks
concurrency control