J.A.伯格斯特拉。；Klop，J.W。 通过进程代数验证交替位协议。 （英语） Zbl 0595.68024号 软件系统规格说明和综合的数学方法85，Proc。内部弹簧Sch。，Wendisch-Rietz/GDR 1985，数学。第31号决议，9-23（1986年）。 摘要：[有关整个系列，请参阅Zbl 0588.00031号.]我们验证了系统（ACP_{tau}）（具有静默动作的通信过程代数）中使用Koomen的公平抽象规则扩充的交替位协议的简单版本。 引用于21文件 MSC公司： 68N25号 操作系统理论 关键词：交替位协议；通信过程代数；公平抽象规则 引文：Zbl 0588.00031号 PDF格式BibTeX公司 XML格式