约瑟夫·霍尔珀（Joseph Y.Halpern）。;摩西，约拉姆 分布式环境中的知识和常识。 （英语） Zbl 0699.68115号 J.协会计算。机器。 37，第3号，549-587（1990）. 引用于2评论引用于192文件 MSC公司： 68T99型 人工智能 68N25号 操作系统理论 60年第68季度 规范和验证（程序逻辑、模型检查等） 68N99型 软件理论 关键词：可靠性;测试;容错;计算机通信;网络;网络协议;协议验证;程序;验证;指定、验证和推理;程序;知识表示形式和方法;分布式知识;常识 PDF格式BibTeX公司 XML格式引用 \textit｛J.Y.Halpern｝和\textit｛Y.Moses｝，J.Assoc.Comput。机器。37，编号3459-587（1990年；Zbl 0699.68115） 全文： 内政部 arXiv公司