@第{zbMATH07316061条，作者={Bozga，Marius and Iosif，Radu and Sifakis，Joseph}，Title={检查参数化组件系统的死锁自由}，FJournal={程序设计中的逻辑和代数方法杂志}，Journal={J.Log.Algebr.Methods程序}，ISSN={2352-2208}，体积={119}，页码={23}，注={Id/编号100621}，年份={2021}，语言={英语}，DOI={10.1016/j.jlamp.2020.100621}，关键词={68Q60,03B70,68Q85}，zbMATH={7316061}，Zbl={1455.68102}}