Author:
Yin Jia-Qi,Zhu Hui-Biao,Fei Yuan
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Reference23 articles.
1. Burrows M. The chubby lock service for loosely-coupled distributed systems. In Proc. the 7th Int. Symposium on Operating Systems Design and Implementation, November 2006, pp.335-350.
2. Junqueira F P, Reed B C. Brief announcement Zab: A practical totally ordered broadcast protocol. In Proc. the 23rd Int. Symposium on Distributed Computing, September 2009, pp.362-363.
3. Lamport L. Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 2002.
4. Junqueira F P, Reed B C, Serafini M. Zab: High-performance broadcast for primary-backup systems. In Proc. the 41st Int. Conference on Dependable Systems and Networks, June 2011, pp.245-256.
5. Hunt P, Konar M, Junqueira F P, Reed B. ZooKeeper: Wait-free coordination for Internet-scale systems. In Proc. the 2010 USENIX Annual Technical Conference, June 2010.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Leveraging TLA$$^+$$ Specifications to Improve the Reliability of the ZooKeeperCoordination Service;Dependable Software Engineering. Theories, Tools, and Applications;2023-12-15
2. Formalization and Verification of the Zab Protocol Using CSP;Parallel and Distributed Computing, Applications and Technologies;2023-11-29
3. Offloading Model of 5G Intelligent Terminal Based on UC-MEC and Node Consensus Mechanism;2023 International Conference on Wireless Communications and Signal Processing (WCSP);2023-11-02
4. Formal Analysis of IBC Protocol;2023 IEEE 31st International Conference on Network Protocols (ICNP);2023-10-10
5. Verifying Zookeeper based on Model-Based runtime Trace-Checking using TLA+;Proceedings of the 7th International Conference on Cyber Security and Information Engineering;2022-09-23