杰拉德·贝里;杰拉德·布多尔 化学提取机。 (英语) Zbl 0747.68013号 西奥。计算。科学。 96,第1期,217-248(1992).MSC公司:2005年第68季度 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Berry}和\textit{G.Boudol},Theor。计算。科学。96,编号12117-248(1992年;兹bl 074768013) 全文: 内政部
G.布多尔。 关于过程代数计算的注释。 (英语) Zbl 0578.68025号 并发系统的逻辑和模型。北约高级研究所,法国拉科勒苏罗普,1984年,北约ASI Ser。,序列号。F 13,261-303(1985)。 审核人:V.Calmatuianu公司 MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式