吉尔·奈格尔;萨姆·图格 模拟分布式系统中的同步时钟和公共知识。 （英语） Zbl 0770.68033号 J.协会计算。机器。 40，第2期，334-367（1993）. 引用于8文件 MSC公司： 68M10个 计算机系统中的网络设计与通信 68宽15 分布式算法 关键词：异步/同步操作;分布式网络;网络通信;协议验证;分布式编程;通信管理;时钟同步;基于知识的协议;带有时间戳的常识;同步时钟;逻辑时钟 PDF格式BibTeX公司 XML格式引用 \textit{G.Neiger}和\textit{S.Toueg}，J.协会计算。机器。40，编号2，334--367（1993；Zbl 0770.68033） 全文： 内政部