丹尼尔·戈拉 分布和流动的过程计算分类。 (英语) Zbl 1231.68169号 分布计算。 23,第4期,273-299(2010).MSC公司:第68季度85 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla},Distrib.Comput公司。23,第4号,273--299(2010;Zbl 1231.68169) 全文: 内政部
爱蒂安·洛兹;朱尔斯维拉德 应用(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) 全文: 内政部