乔治·德尔扎诺；哈维尔·埃斯帕尔扎；安德烈亚斯·波德尔斯基 广播协议的基于约束的分析。 （英语） Zbl 0944.68139号 Flum，Jörg（编辑）等人，《计算机科学逻辑》。第13届国际研讨会，CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1683, 50-66 (1999). 摘要：广播协议是由有限但任意数量的进程组成的系统，这些进程通过集合（两个进程交换消息）或广播（一个进程向所有其他进程发送消息）进行通信。本文描述了一种广播协议安全属性自动验证的优化算法。该算法检查属性是否适用于任意数量的进程。关于整个系列，请参见[Zbl 0929.00039号]. 引用于5文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 关键词：广播协议 软件：高超声速 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人，Lect。注释计算。科学。1683、50-66（1999年；Zbl 0944.68139）