Paxos consensus, deconstructed and abstracted
From MaRDI portal
Publication:2324015
DOI10.1007/978-3-319-89884-1_32zbMath1418.68017arXiv1802.05969OpenAlexW2796523291MaRDI QIDQ2324015
Ilya Sergey, Álvaro García-Pérez, Yuri Meshman, Alexey Gotsman
Publication date: 13 September 2019
Full work available at URL: https://arxiv.org/abs/1802.05969
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed algorithms (68W15)
Related Items (3)
Verifying the correctness of distributed systems via mergeable parallelism ⋮ Unnamed Item ⋮ Protocol combinators for modeling, testing, and execution of distributed systems
This page was built for publication: Paxos consensus, deconstructed and abstracted