@第{zbMATH01908516条，作者={Yeung，W.L.和Schneider，S.A.}，标题={使用{CSP}}设计和验证分布式恢复块，FJournal＝{系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={22}，数字={3}，页码={225--248}，年份={2003}，语言={英语}，DOI={10.1023/A:1022997110855}，关键词={68Q65}，zbMATH={1908516}，Zbl={1020.68055}}