C.A.R.霍尔。 通信过程的完全正确性演算。 （英语） Zbl 0485.68025号 科学。计算。程序。 1, 49-72 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 显示扫描页面 引用于1审查引用于14文件 MSC公司： 68N25号 操作系统理论 94A99型 通信、信息 第68季度第60季度 规范和验证（程序逻辑、模型检查等） 关键词：命名频道;断言;预期行为;简单递归;不相交平行度;频道重命名;进程链接;不确定性;有条件的;交替;互递归;缓冲协议 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}，科学。计算。程序。1、49--72（1981年；Zbl 0485.68025） 全文： 内政部 链接