共 50 条
- [41] Correctness proofs of distributed algorithms THEORY AND PRACTICE IN DISTRIBUTED SYSTEMS, 1995, 938 : 164 - 177
- [43] The impossibility of boosting distributed service resilience 25th IEEE International Conference on Distributed Computing Systems, Proceedings, 2005, : 39 - 48