米歇尔·博雷尔;法比奥·加杜奇 作为形式幂级数的过程：指称语义的共导方法。 （英文） Zbl 1097.68070号 西奥。计算。科学。 360，编号1-3，440-458（2006）.MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{F.Gadducci}，Theor。计算。科学。360，编号1--3440-458（2006；Zbl 1097.68070） 全文： 内政部
博雷尔，M。;R.D.尼古拉。;普格利泽，R。 测试和准备语义的分歧。 （英文） Zbl 0989.68084号 西奥。计算。科学。 266，编号1-2，237-248（2001）.MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人，Theor。计算。科学。266，编号1--2，237--248（2001；Zbl 0989.68084） 全文： 内政部
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 过程的基本观察结果。 （英文） Zbl 0928.68013号 Inf.计算。 149，第1号，77-98（1999）.MSC公司：68号01 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人，《信息计算》。149，第1号，77--98（1999；Zbl 0928.68013） 全文： 内政部
米歇尔·博雷尔;洛科·德尼古拉;罗萨里奥·普格利泽 过程的基本观察结果。 （英文） Zbl 1401.68224号 Degano，Pierpaolo（编辑）等人，《自动化，语言和编程》。1997年7月7日至11日在意大利博洛尼亚举行的第24届国际学术讨论会。诉讼程序。柏林：Springer-Verlag（ISBN 978-3-540-63165-1/pbk；978-3-540-69194-5/电子书）。计算机科学讲义1256，482-492（1997）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}等人，Lect。注释计算。科学。1256482-492（1997年；Zbl 1401.68224） 全文： 内政部
博雷尔，M。;保拉·因弗拉迪;M.内西。 有限基本LOTOS行为等效的完整公理集。 （英文） Zbl 0753.68064号 信息处理。莱特。 43，第3期，155-160（1992）.MSC公司：60年第68季度 68甲15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛M.Boreale｝等人，Inf.过程。莱特。43，第3号，155--160（1992；Zbl 0753.68064） 全文： 内政部