@第{zbMATH04153866条，作者={Maxemchuk，N.F.和Sabnani，Krishan}，标题={通信协议的概率验证}，FJournal={分布式计算}，日志={Distrib.Comput.}，ISSN={0178-2770}，体积={3}，数字={3}，页码={118--129}，年份={1989年}，语言={英语}，DOI={10.1007/BF01784022}，关键词={68M20,68M10}，zbMATH={4153866}，Zbl={0703.68023}}