会员服务
Paxos算法是分布式技术大师Lamport提出的,主要目的是通过这个算法,让参与分布式处理的每个参与者逐步达成一致意见。用
Baxos: Backing off for Robust and Efficient Consensus
Arxiv
1+阅读 · 2024年12月19日
A Session Type System for Asynchronous Unreliable Broadcast Communication
Arxiv
0+阅读 · 2024年8月2日
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
Arxiv
0+阅读 · 2024年8月19日
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
Arxiv
0+阅读 · 2024年6月4日
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
Arxiv
0+阅读 · 2024年5月20日
Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
Arxiv
0+阅读 · 2024年5月16日
A Session Type System for Asynchronous Unreliable Broadcast Communication
Arxiv
0+阅读 · 2024年5月4日
A Session Type System for Asynchronous Unreliable Broadcast Communication
Arxiv
0+阅读 · 2024年4月15日
Optimizing Distributed Protocols with Query Rewrites [Technical Report]
Arxiv
0+阅读 · 2024年4月3日
Modelling the Raft Distributed Consensus Protocol in mCRL2
Arxiv
0+阅读 · 2024年3月27日
Formally verified asymptotic consensus in robust networks
Arxiv
0+阅读 · 2024年1月31日
Pipelet: Practical Streamlined Blockchain Protocol
Arxiv
0+阅读 · 2024年1月13日
A Session Type System for Asynchronous Unreliable Broadcast Communication
Arxiv
0+阅读 · 2023年12月12日
Distributed Consensus in Content Centric Networking
Distributed Consensus in Content Centric Networking
Arxiv
0+阅读 · 2023年10月26日
State machines for large scale computer software and systems
Arxiv
0+阅读 · 2023年7月2日
参考链接
父主题
数据一致性相关算法
微信扫码咨询专知VIP会员
Top