@杂项{zbMATH03903951，作者＝{Dijkstra，Edsger W.和Feijen，W.H.J.和van Gasteren，A.J.M.}，标题={分布式计算终止检测算法的推导}，年份={1985}，语言={英语}，HowPublished＝{控制流和数据流：分布式编程的概念，{Proc}。{北约}{前进}。{研究}{仪器}。，{Marktoberdorf}/{Ger}。1984年，{NATO}{ASI}{Ser}。，{序号}。{F} 14507-512（1985）。}，关键词={68N25}，zbMATH={3903951}，Zbl={0566.68025}}