弗兰克·卡塞兹（编辑）；克洛德·贾德（编辑）；布里吉特·罗佐伊（编辑）；莱恩，马克·德莫特（编辑） 并行过程的建模和验证。2000年6月19日至23日，法国南特，第四所暑期学校，MOVEP 2000。修订的教程讲座。 （英语） Zbl 0974.00044号 计算机科学课堂讲稿. 2067. 柏林：斯普林格。x、 223页（2001年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{F.Cassez}（ed.）等人，并行过程的建模和验证。2000年6月19日至23日，法国南特，第四所暑期学校，MOVEP 2000。修订的教程讲座。柏林：施普林格出版社（2001；Zbl 0974.00044）
艾琳·盖萨里安（编辑） 并发进程系统的语义。LITP春季理论计算机科学学校，法国拉罗什波塞，1990年4月23日至27日。诉讼程序。 （英语） Zbl 0744.68020号 计算机科学课堂讲稿. 469. 柏林等：Springer-Verlag。五、 第456页（1990年）。 审核人：B.科内留伊 MSC公司：68-06 第68季度55 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian}（编辑），并发过程系统的语义。LITP春季理论计算机科学学校，法国拉罗什波塞，1990年4月23日至27日。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0744.68020）
沃尔克·迪克特 迹上的组合数学。 （英语） 兹比尔0717.68002 计算机科学课堂讲稿, 454. 柏林等：Springer-Verlag。七、 164 p.DM 33.00（1990年）。 审核人：G.毛里 MSC公司：68-02 65年第68季度 68兰特 2005年第68季度 2010年第68季度 03年3月 第68季度第42季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛V.Diekert｝，轨迹上的组合学。柏林等：Springer-Verlag（1990；Zbl 0717.68002） 全文： 内政部
巴顿，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）
约瑟夫·西法基斯（编辑） 有限状态系统的自动验证方法。国际研讨会，法国格勒诺布尔，1989年6月12日至14日。诉讼程序。 （英语） Zbl 0745.68017号 计算机科学课堂讲稿. 407. 柏林等：Springer-Verlag。七、 第382页（1990年）。 审核人：M.K（布尔诺） MSC公司：68-06 2010年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Sifakis}（编辑），有限状态系统的自动验证方法。国际研讨会，法国格勒诺布尔，1989年6月12日至14日。诉讼程序。柏林等：Springer-Verlag（1990；Zbl 0745.68017）