凯蒂尔·斯特伦;弗兰克·德德里奇;韦伯、雷纳 使用假设/承诺范式规范和细化异步通信代理网络。 (英语) Zbl 0846.68067号 正式Asp。计算。 8,第2期,127-161(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Stölen}等人,正式Asp。计算。8,第2号,127--161(1996;Zbl 0846.68067) 全文: 内政部
弗兰克·德德里奇;韦伯、雷纳 从方法学的角度来看,安全性和活性。 (英语) Zbl 0703.68019号 信息处理。莱特。 36,第1号,25-30(1990).MSC公司:68M10个 68米15 PDF格式BibTeX公司 XML格式引用 \textit{F.Dederichs}和\textit{R.Weber},信息处理。莱特。36,编号1,25--30(1990;Zbl 0703.68019) 全文: 内政部