@第{zbMATH06148334条，作者={Swaminathan，Mani和Katoen，Joost-Pieter和Olderog，Ernst-R{\“u}diger}，标题={随机分布式算法的分层推理}，FJournal={计算的形式方面}，日志={正式Asp.Compute.}，ISSN={0934-5043}，体积={24}，数字={4-6}，页码={477--496}，年份={2012}，语言={英语}，DOI={10.1007/s00165-012-0231-x}，关键词={68Q45,68W20,68W15}，zbMATH={6148334}，Zbl=｛1259.68114｝}