塞拉·埃尔拉德;尼西姆·弗朗西兹 将分布式程序分解为通信封闭层。 （英语） Zbl 0514.68033号 科学。计算。程序。 2, 155-173 (1982). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于33文件 MSC公司： 68N25号 操作系统理论 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：通信过程;程序验证 PDF格式BibTeX公司 XML格式引用 \textit{T.Elrad}和\textit{N.Francez}，科学。计算。程序。2155--173（1982年；Zbl 0514.68033） 全文： 内政部