@第{zbMATH00622304条，作者＝｛Aceto，L.和Hennessy，M.｝，标题={终止、死锁和分歧}，FJournal={计算机协会杂志}，Journal＝{J.Assoc.Comput.Mach.}，ISSN={0004-5411}，体积={39}，数字={1}，页码={147--187}，年份={1992年}，语言={英语}，DOI={10.1145/147508.147527}，关键词={68Q55,68N20}，zbMATH={622304}，Zbl={0799.68131}}