弗雷德·施耐德。;大卫·格里斯;理查德·施利钦（Richard D.Schlichting）。 容错广播。 （英语） Zbl 0534.68019号 科学。计算。程序。 4, 1-15 (1984). 在计算机网络中，容错广播可确保向正常工作的网络节点传递消息，尽管节点可能随时发生故障。本文提出了一种适用于任何广播策略的容错广播协议，并证明了其正确性。审核人：M.达尔·辛 引用于三文件 MSC公司： 第68页第25页 操作系统理论 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：计算机网络;容错计算;容错广播协议 PDF格式BibTeX公司 XML格式引用 \textit{F.B.Schneider}等人，科学。计算。程序。4、1-15（1984年；Zbl 0534.68019） 全文： 内政部 链接