巴顿,J.C.M。;巴斯滕,T。;Reniers,医学硕士。 过程代数:通信过程的方程理论。由托尼·霍尔(Tony Hoare)、罗宾·米尔纳(Robin Milner)和扬·伯格斯特拉(Jan Bergstra)撰写的前言。 (英语) Zbl 1234.68001号 剑桥理论计算机科学丛书50.剑桥:剑桥大学出版社(ISBN 978-0-521-82049-3/hbk)。十六、460页。(2010).MSC公司:68-02 68问题85 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人,过程代数:通信过程的等式理论。由托尼·霍尔(Tony Hoare)、罗宾·米尔纳(Robin Milner)和扬·伯格斯特拉(Jan Bergstra)撰写的前言。剑桥:剑桥大学出版社(2010;Zbl 1234.68001)
巴顿,J.C.M。(编辑) 过程代数的应用。 (英语) 兹标0716.68001 剑桥理论计算机科学丛书, 17. 剑桥等:大学出版社。九、 317页27.50英镑;$39.50 (1990). 审核人:V.托彭查罗夫 MSC公司:68-01 2010年第68季度 2005年第68季度 08A99号 08-02 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}(编辑),过程代数的应用。剑桥等:大学出版社(1990;Zbl 0716.68001) 全文: 内政部
巴顿,J.C.M。(编辑);Klop,J.W。(编辑) 1990年开始。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。 (英语) Zbl 0746.68005号 计算机科学课堂讲稿458.柏林等:施普林格出版社。七、 第536页(1990年)。 审核人:F.-L.Tiplea(拉什) MSC公司:68-06 2010年第68季度 68问题55 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}(编辑)和\textit{J.W.Klop}(主编),CONCUR’90。并发理论:统一与扩展。荷兰阿姆斯特丹,1990年8月。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0746.68005)