Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1802.05969
Cited By
Paxos Consensus, Deconstructed and Abstracted (Extended Version)
16 February 2018
Á. García-Pérez
Alexey Gotsman
Yuri Meshman
Ilya Sergey
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Paxos Consensus, Deconstructed and Abstracted (Extended Version)"
2 / 2 papers shown
Title
Paxos Made EPR: Decidable Reasoning about Distributed Protocols
Oded Padon
Giuliano Losa
Shmuel Sagiv
Sharon Shoham
34
112
0
19 Oct 2017
Formal Verification of Multi-Paxos for Distributed Consensus
Saksham Chand
Yanhong A. Liu
Scott D. Stoller
24
54
0
04 Jun 2016
1
