罗宾·米尔纳 通信和移动系统:微积分。 (英语) Zbl 0942.68002号 剑桥:剑桥大学出版社。xii,161 p.(1999)。 审核人:马丁·霍夫曼(爱丁堡) MSC公司:68-02 68问题85 03-02 2010年第68季度 60年第68季度 68问题55 第68季度第42季度 68号30 68甲15 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner},《通信和移动系统:(pi)演算》。剑桥:剑桥大学出版社(1999;Zbl 0942.68002)
罗宾·米尔纳;法隆·莫勒 流程的独特分解。 (英语) Zbl 0777.68037号 西奥。计算。科学。 107,第2期,357-363(1993). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner}和\textit{F.Moller},Theor。计算。科学。107,No.2,357--363(1993;Zbl 0777.68037) 全文: 内政部
Larsen,Kim G。;罗宾·米尔纳 使用相对化互模拟进行合成协议验证。 (英语) Zbl 0753.68067号 Inf.计算。 99,第1期,80-108(1992).MSC公司:60年第68季度 2010年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Milner},Inf.Compute。99,第1号,80--108(1992;Zbl 0753.68067) 全文: 内政部
罗宾·米尔纳 在另一个并行演算中解释一个并发演算。 (英语) Zbl 0702.68083号 西奥。计算。科学。 75,编号1-2,3-13(1990).MSC公司:60年第68季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \文本{R.Milner},Theor。计算。科学。75,编号1--2,3--13(1990;Zbl 0702.68083) 全文: 内政部