英明生 互模拟指数及其应用。 （英语） Zbl 1015.68134号 西奥。计算。科学。 275，第1-2、1-68号（2002年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \西奥，textit{M.Ying}。计算。科学。275，编号1--2，1--68（2002；Zbl 1015.68134） 全文： 内政部
范·布鲁格尔（F.van Breugel）。 度量语义简介：编程和规范语言的操作和指称模型。 （英语） Zbl 0973.68133号 西奥。计算。科学。 258，第1-2、1-98号（2001年）.MSC公司：68问题55 68甲15 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{F.van Breugel}，Theor。计算。科学。258，编号1--2，1--98（2001；Zbl 0973.68133） 全文： 内政部
埃涅亚托多兰 同步和异步通信的度量语义：基于连续性的方法。 （英语） Zbl 0966.68110号 Stefanescu，Gheorghe（编辑），WDS’99。分布式系统研讨会。1999年9月2日至3日，罗马尼亚拉西FCT’99卫星研讨会。阿姆斯特丹：爱思唯尔，《理论计算机科学电子笔记》。28，27 p.，仅电子版（1999年）。MSC公司：68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Todoran}，位于：WDS'99。分布式系统研讨会。1999年9月2日至3日，罗马尼亚亚西，FCT’99卫星研讨会。阿姆斯特丹：爱思唯尔。第27页（1999年；Zbl 0966.68110）
德巴克尔，J.W。;德文克，E.P。 编程语言的表示模型：巴拿赫不动点定理的应用。 （英语） Zbl 0933.68086号 拓扑应用程序。 85，编号1-3，35-52（1998）.MSC公司：68问题55 03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{E.P.de Vink}，拓扑应用。85，编号1--3，35-52（1998；Zbl 0933.68086） 全文： 内政部
德巴克尔，J.W。;范·布鲁格尔（F.van Breugel）。 高阶控制流的拓扑模型。 （英语） Zbl 1509.68147号 Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 122-142 (1994).MSC公司：68问题55 68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{F.van Breugel}，莱克特。注释计算。科学。802122--142（1994年；Zbl 1509.68147） 全文： 内政部 链接
弗兰克·范·布鲁格尔 互模拟过程的三个度量域。 （英语） 兹比尔1509.68191 Brookes，Stephen（编辑）等人，编程语义的数学基础，第九届国际会议，美国洛杉矶新奥尔良，1993年4月7日至10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。802, 103-121 (1994).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.van Breugel}，莱克特。注释计算。科学。802、103-121（1994年；Zbl 1509.68191） 全文： 内政部 链接
弗兰克·范·布鲁格尔 推广标记转移系统的有限性条件。 （英语） Zbl 1422.68173号 Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。第21届国际学术讨论会，ICALP’94，以色列耶路撒冷，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。820, 376-387 (1994).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.van Breugel}，莱克特。注释计算。科学。820376-387（1994年；Zbl 1422.68173） 全文： 内政部
德巴克尔，J.W。;德文克，E.P。 具有度量语义的Rendez-vous。 （英语） Zbl 0818.68106号 新一代计算机。 12，No.1，53-90（1993）.MSC公司：68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{E.P.de Vink}，新一代计算。12，第1号，53--90（1993；Zbl 0818.68106） 全文： 内政部