拉希德·格拉乌伊 带有故障检测器的异步分布式系统中的非阻塞原子提交。 (英语) Zbl 1448.68104号 分布式计算。 第1期第15页,第17-25页(2002年).MSC公司:64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{R.Guerraoui},分布计算。15、第1号、第17--25号(2002年;Zbl 1448.68104) 全文: 内政部
卢博什·布里姆;莫西尔·Křetínsk \345];Jean-Marie雅克;大卫·吉尔伯特 将多智能体系统建模为同步并发约束过程。 (英语) Zbl 1076.68043号 计算。通知。 第565-590号第21页(2002年). 审核人:Claudia Simionescu Badea(维也纳) MSC公司:68问题85 68T01型 PDF格式BibTeX公司 XML格式引用 \textit{L.Brim}等人,计算。通知。21,第6号,565--590(2002;Zbl 1076.68043)