尼古拉斯·塔巴鲁;埃里克·坦特 分布式方面的化学基础。 (英语) Zbl 1451.68068号 分布计算。 32,第3期,193-216(2019).MSC公司:68甲19 68甲15 2007年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Tabarau}和\textit{E.Tanter},分布计算。32,第3号,193--216(2019;Zbl 1451.68068) 全文: 内政部 哈尔
梅雷约(Mercedes G.Merayo)。;Robert M.Hierons。;Nüñez,M。 使用异步通信和时间戳进行被动测试。 (英语) Zbl 1451.68051号 分布计算。 31,第5号,327-342(2018).MSC公司:64岁以下 68米15 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Merayo}等人,《分布计算》。31,第5号,327--342(2018;Zbl 1451.68051) 全文: 内政部 链接
Robert M.Hierons。;梅雷约(Mercedes G.Merayo)。;曼努埃尔·努涅斯 具有分布式接口的系统的实现关系和测试生成。 (英语) Zbl 1277.68190号 分布计算。 25,第1期,35-62(2012).MSC公司:68问题85 68N99型 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Hierons}等人,《分布计算》。25,第1号,35-62(2012年;兹bl 1277.68190) 全文: 内政部
爱蒂安·洛兹;朱尔斯·维拉德 应用(pi)演算的空间方程逻辑。 (英语) Zbl 1231.68171号 分布计算。 23,第1期,61-83(2010).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{埃里·洛兹}和\textit{J.维拉德},分布计算。23,编号1,61--83(2010;Zbl 1231.68171) 全文: 内政部