Paxos Consensus, Deconstructed and Abstracted-Reference-Cited by-同舟云学术

Paxos Consensus, Deconstructed and Abstracted

Published:2018 Issue: Volume: Page:912-939
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

García-Pérez Álvaro^ORCID,Gotsman Alexey,Meshman Yuri,Sergey Ilya^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_32

Reference32 articles.

1. Abadi, M., Lamport, L.: The existence of refinement mappings. In: LICS, pp. 165–175. IEEE Computer Society (1988)

2. Boichat, R., Dutta, P., Frølund, S., Guerraoui, R.: Deconstructing Paxos (2001). OAIPMH server at infoscience.epfl.ch, record 52373. http://infoscience.epfl.ch/record/52373

3. Boichat, R., Dutta, P., Frølund, S., Guerraoui, R.: Deconstructing Paxos. SIGACT News 34(1), 47–67 (2003)

4. Castro, M., Liskov, B.: Practical Byzantine fault tolerance. In: OSDI, pp. 173–186. USENIX Association (1999)

5. Lecture Notes in Computer Science;S Chand,2016

Cited by 20 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Multi-Task Learning for PBFT Optimisation in permissioned Blockchains;Blockchain: Research and Applications;2024-05

2. Trillium: Higher-Order Concurrent and Distributed Separation Logic for Intensional Refinement;Proceedings of the ACM on Programming Languages;2024-01-05

3. OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms;2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC);2023-10-24

4. Quorum Tree Abstractions of Consensus Protocols;Programming Languages and Systems;2023

5. A Fault-Model-Relevant Classification of Consensus Mechanisms for MPI and HPC;International Journal of Parallel Programming;2022-12-12