@第{zbMATH06134264条，作者={Bonakdarpour、Borzoo和Kulkarni、Sandeep S.和Abujarad、Fuad}，Title={屏蔽容错分布式程序的符号合成}，FJournal={分布式计算}，日志={Distrib.Comput.}，ISSN={0178-2770}，体积={25}，数字={1}，页码={83--108}，年份={2012}，语言={英语}，DOI＝{10.1007/s00446-011-0139-3}，关键词={68M15,68M14,68W15,68Q60}，zbMATH={6134264}，Zbl={1285.68016}}