@第{zbMATH06013418条，作者={Attie，Paul C.}，Title={关于分布式系统活性属性的精化}，FJournal={系统设计中的形式化方法}，Journal＝｛Form.Methods Syst.Des.｝，ISSN={0925-9856}，体积={39}，数字={1}，页码={1--46}，年份={2011}，语言={英语}，DOI={10.1007/s10703-011-0117-1}，关键词={68Q85，68Q45,03B70}，zbMATH={6013418}，Zbl={1233.68160}}