Ambuj K·辛格。 等待自由和低原子性的公理化。 （英语） Zbl 0767.03014号 计算和信息进展，ICCI’90，Proc。国际会议，尼亚加拉大瀑布/加拿大，1990年，Lect。注释计算。科学。468, 154-163 (1991). 作者在时间逻辑的框架内考虑了等待自由和低原子性，时间逻辑由A.Pnueli、E.A.Emerson等人和UNITY提出K.M.尚迪和J.米斯拉[并行程序设计：基础（1988；Zbl 0717.68034号)]. 还讨论了分布式共识的不可能性。关于整个系列，请参见[Zbl 0746.00054号].审核人：Hirokazu Nishimura（茨城） 引用于1文件 MSC公司： 03B70号 计算机科学中的逻辑 03B45号 模态逻辑（包括规范逻辑） 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 关键词：并行程序;时序逻辑;联合;分布式共识 引文：Zbl 0717.68034号 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Singh}，莱克特。注释计算。科学。468154-163（1991年；Zbl 0767.03014）