菲利普·达伦多 关于公平异步。 (英语) 兹比尔0607.68016 西奥。计算。科学。 37, 305-336 (1985).MSC公司:第68页第25页 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{P.Darondeau},Theor。计算。科学。37305-336(1985;Zbl 0607.68016) 全文: 内政部
菲利普·达伦多 关于公平异步。 (英语) Zbl 0578.68010号 并发系统的逻辑和模型,Proc。北约高级研究所,拉科勒苏罗普/法国1984,北约ASI Ser。,序列号。F 13,343-368(1985)。 审核人:V.卡尔马图亚努 MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式
菲利普·达伦多 公平异步的完全抽象模型。 (英语) Zbl 0564.68018号 并发,Semin。宾夕法尼亚州匹兹堡,1984年,Lect。注释计算。科学。197, 458-466 (1985).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式