scientific article

DOI10.13328/J.CNKI.JOS.005964zbMATH Open1463.68005MaRDI QIDQ3386297

Author name not available (Why is that?)

Publication date: 14 January 2021

Title of this publication is not available (Why is that?)

zbMATH Keywords

model checkingconsensus protocolPaxosPaxosStorerefinement relation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14) Network protocols (68M12)

Recommendations

• A protocol for implementing Byzantine storage in churn-prone distributed systems 👍 👎
• On the coordinator's rule for Fast Paxos 👍 👎
• Revisiting the PAXOS algorithm 👍 👎
• Formal verification of Multi-Paxos for distributed consensus 👍 👎
• Paxos consensus, deconstructed and abstracted 👍 👎
• Stabilizing server-based storage in Byzantine asynchronous message-passing systems (extended abstract) 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3386297)