@第{zbMATH06657614条，作者={Attie，Paul C.}，Title={从动态规范合成大型动态并发程序}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={48}，数字={1-2}，Pages={94-147}，年份={2016年}，语言={英语}，DOI＝{10.1007/s10703-0106-0252-9}，关键词={68N30,68Q60,68Q85}，zbMATH={6657614}，Zbl={1392.68143}}