@第{zbMATH03768950条，作者={Kwong，Y.S.}，标题={并行程序中的活锁。{第}部分2:{证明}技术}，FJournal＝{国际计算机数学杂志}，期刊={国际期刊计算数学}，ISSN＝{0020-7160}，体积={10}，页码={201--212}，年份={1982年}，语言={英语}，DOI={10.1080/00207168208803283}，关键词={68Q60,68N25}，zbMATH={3768950}，Zbl={0488.68018}}