威廉·鲍尔·德·罗弗 最热烈的祝贺，弗兰克！ （英语） Zbl 1475.68013号 Ábrahám，Erika（编辑）等人，《形式方法的理论与实践》。纪念法兰克·德·波尔60岁生日的文章。查姆：斯普林格。莱克特。注释计算。科学。9660, 9-11 (2016).MSC公司：68-03 01A70号 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}，莱克特。注释计算。科学。9660，9--11（2016；Zbl 1475.68013） 全文： 内政部
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内奇;波埃尔、曼内斯;乔布·兹维尔 并发验证。合成和非置换方法简介。重印2001年精装版。 （英语） Zbl 1214.68125号 剑桥理论计算机科学丛书54.剑桥：剑桥大学出版社（ISBN 978-0-521-16932-5/pbk）。xxii，第776页。(2011).MSC公司：第68页第19页 68-01 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}等人，并发验证。合成和非置换方法简介。2001年精装版再版，剑桥：剑桥大学出版社（2011；Zbl 1214.68125）
威廉·鲍尔·德·罗弗;杰拉尔德·吕特根;迈克尔·门德勒 步骤是什么：对一个经典问题的新观点。 （英语） Zbl 1288.68172号 Manna，Zohar（编辑）等人，《验证时间》。纪念埃米尔·普努利的散文。柏林：施普林格出版社（ISBN 978-3-642-13753-2/pbk）。计算机科学讲义6200，370-399（2010）。MSC公司：60年第68季度 68甲15 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}等人，Lect。注释计算。科学。6200、370-399（2010年；Zbl 1288.68172） 全文： 内政部
威廉·保罗;凯·恩格哈特 数据精炼：面向模型的证明方法及其比较。重印1998年精装版。 （英语） Zbl 1152.68031号 剑桥理论计算机科学丛书47.剑桥：剑桥大学出版社（ISBN 978-0-521-10350-3/pbk）。xi，第423页。(2009).MSC公司：60年第68季度 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.De Roever}和\textit{K.Engelhardt}，《数据精化：面向模型的证明方法及其比较》。1998年精装版再版，剑桥：剑桥大学出版社（2009；Zbl 1152.68031） 全文： 内政部
德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;苏珊娜·格拉芙（编辑）;威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。 （英语） Zbl 1155.68012号 计算机科学课堂讲稿5382.柏林：施普林格出版社（ISBN 978-3-540-92187-5/pbk）。x、 313页。(2008).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2007年10月24日至26日在荷兰阿姆斯特丹举行的2007年FMCO第六届国际研讨会。修订的讲座。柏林：施普林格出版社（2008；Zbl 1155.68012） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 多线程Java的演绎证明系统，有例外。 （英语） Zbl 1144.68012号 芬丹。通知。 82，第4号，391-463（2008）.MSC公司：68甲15 第68页第19页 68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Fundam。通知。82，第4号，391--463（2008；Zbl 1144.68012）
德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;苏珊娜·格拉芙（编辑）;威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2006年11月7日至10日在荷兰阿姆斯特丹举行的2006年FMCO第五届国际研讨会。修订的讲座。 （英语） 兹比尔1143.68011 计算机科学课堂讲稿4709.柏林：施普林格出版社（ISBN 978-3-540-74791-8/pbk）。viii，297页。(2007).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第五届国际研讨会，2006年FMCO，荷兰阿姆斯特丹，2006年11月7日至10日。修订的讲座。柏林：施普林格出版社（2007；Zbl 1143.68011） 全文： 内政部
哈拉尔德·费彻;马赛尔·凯斯;威廉·鲍尔·德·罗弗;德波尔（Frank S。 UML内核模型语言的组合操作语义。 （英语） Zbl 1273.68205号 Peter Mosses等人，《结构操作语义学第二次研讨会论文集》（SOS 2005），葡萄牙里斯本，2005年7月10日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》156，第1期，79-96（2006）。MSC公司：68问题55 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Fecher}等人，《电子》。注释Theor。计算。科学。156，编号1，79--96（2006；Zbl 1273.68205） 全文： 链接
德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;苏珊娜·格拉芙（编辑）;威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2005年11月1日至4日，荷兰阿姆斯特丹，第四届国际研讨会，FMCO 2005。修订的讲座。 （英语） Zbl 1114.68010号 计算机科学课堂讲稿4111.柏林：施普林格出版社（ISBN 3-540-36749-7/pbk）。viii，429页。(2006).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第四届国际研讨会，FMCO 2005，荷兰阿姆斯特丹，2005年11月1-4日。修订的讲座。柏林：施普林格出版社（2006；Zbl 1114.68010） 全文： 内政部
德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;苏珊娜·格拉芙（编辑）;威廉·保罗（编辑） 组件和对象的形式化方法。2004年11月2日至5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。 （英语） Zbl 1084.68008号 计算机科学课堂讲稿3657.柏林：施普林格出版社（ISBN 3-540-29131-8/pbk）。viii，第325页。(2005).MSC公司：68-06 68号30 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2004年11月2-5日，第三届国际研讨会，FMCO，荷兰莱顿。修订的讲座。柏林：施普林格出版社（2005；Zbl 1084.68008） 全文： 内政部
迈克尔·凯斯;德波尔（Frank S。;威廉·鲍尔·德·罗弗 用于行为接口规范的组合跟踪逻辑。 （英语） Zbl 1087.68056号 Nord.J.计算。 12，第2期，116-132（2005）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Kyas}等人，Nord.J.计算。12，第2号，116--132（2005；Zbl 1087.68056）
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 一个基于断言的多线程Java证明系统。 （英语） Zbl 1070.68016号 西奥。计算。科学。 331，第2-3号，251-290（2005）.MSC公司：68甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Theor。计算。科学。331，编号2--3，251--290（2005；Zbl 1070.68016） 全文： 内政部 链接
德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;苏珊娜·格拉芙（编辑）;威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。 （英语） 兹比尔1060.68006 计算机科学课堂讲稿3188.柏林：施普林格出版社（ISBN 3-540-22942-6/pbk）。viii，第373页。(2004).MSC公司：68-06 00B25型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。第二届国际研讨会，2003年FMCO，荷兰莱顿，2003年11月4-7日。修订的讲座。柏林：施普林格出版社（2004；Zbl 1060.68006） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 Java（_{text{MT}}）的组合操作语义。 （英语） Zbl 1274.68037号 Dershowitz，Nachum（编辑），《验证：理论与实践》。在佐哈尔·曼纳64岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 3-540-21002-4/pbk）。计算机科学课堂讲稿2772290-303（2003）。MSC公司：68甲15 68问题55 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2772290--303（2003年；Zbl 1274.68037） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 一个支持工具的多线程Java验证系统。 （英语） Zbl 1254.68055号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 3-540-20303-6/pbk）。莱克特。注释计算。科学。2852, 1-32 (2003).MSC公司：68甲15 第68页第19页 60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2852，1--32（2003年；Zbl 1254.68055） 全文： 内政部
艾丽卡·阿尔布拉汉姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 Java显示器的防感应轮廓。 （英语） Zbl 1253.68080号 Najm，Elie（编辑）等，开放式基于对象的分布式系统的形式化方法。第六届IFIP工作组6.1国际会议，2003年FMOODS，2003年11月19-21日，法国巴黎。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20491-1/pbk）。莱克特。注释计算。科学。第2884155-169页（2003年）。MSC公司：68甲15 03B70号 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám}等人，Lect。注释计算。科学。2884155--169（2003年；Zbl 1253.68080） 全文： 内政部
德波尔（Frank S。（编辑）;马塞洛·M·邦桑格。（编辑）;苏珊娜·格拉芙（编辑）;威廉·鲍尔·德·罗弗（编辑） 组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。 （英语） Zbl 1028.00026号 计算机科学课堂讲稿. 2852. 柏林：斯普林格。viii，507页（2003年）。MSC公司：00B25型 68-06 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.S.deBoer}（ed.）等人，组件和对象的形式化方法。2002年11月5-8日在荷兰莱顿举行的FMCO 2002第一届国际研讨会。修订的讲座。柏林：施普林格（2003年；Zbl 1028.00026） 全文： 内政部 链接
艾丽卡·阿尔布拉哈姆·穆姆;德波尔（Frank S。;威廉·鲍尔·德·罗弗;马丁·斯特芬 验证Java的可重入多线程概念。 （英语） Zbl 1077.68552号 Nielsen，Mogens（编辑）等人，《软件科学和计算结构基础》。2002年4月8日至12日在法国格勒诺布尔举行的第五届国际会议FOSSACS 2002，是欧洲软件理论与实践联合会议ETAPS 2002的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-43366-X）。莱克特。注释计算。科学。2303, 5-20 (2002).MSC公司：68甲15 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{E.ábrahám-Mumm}等人，Lect。注释计算。科学。2303，5--20（2002；Zbl 1077.68552） 全文： 链接
威廉·鲍尔·德·罗弗;法兰克·德波尔;乌尔里希·汉内曼;乔泽夫·胡曼;亚辛·拉赫内赫;波埃尔、曼内斯;乔布·兹维尔 并发验证。合成和非置换方法简介。 （英语） Zbl 1009.68020号 剑桥理论计算机科学丛书54。剑桥：剑桥大学出版社。xxii，776页（2001年）。 审核人：Mihai Cipu（布库雷什蒂） MSC公司：第68页第19页 68-01 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.-P.de Roever}等人，并发验证。合成和非置换方法简介。剑桥：剑桥大学出版社（2001；Zbl 1009.68020）
德波尔，F.S。;美国汉尼曼。;德·罗弗，W.-P。 共享变量并发依赖保证范式的形式化证明：一种语义方法。 （英语） Zbl 0956.68099号 Jeannette M.Wing（编辑）等人，FM’99。形式化方法。计算系统开发中的形式化方法世界大会。1999年9月20日至24日，法国图卢兹。诉讼程序。2卷。柏林：施普林格出版社（ISBN 3-540-66587-0/vol1；3-540-665088-9/vol2）。莱克特。注释计算。科学。1708; 1709, 1245-1265 (1999).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，Lect。注释计算。科学。17081245--1265（1999；Zbl 0956.68099）
德波尔，F.S。;德罗弗，W.-P。;美国汉尼曼。 同步通信进程的合成证明方法的语义基础。 （英语） 兹比尔0959.68086 库蒂·奥斯基（Kutyłowski），米洛斯·aw（编辑）等，《计算机科学的数学基础》，1999年。1999年9月6日至10日，第24届国际研讨会，MFCS’99，波兰什克拉斯卡波罗巴。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1672, 343-353 (1999).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.S.de Boer}等人，Lect。注释计算。科学。1672343-353（1999；Zbl 0959.68086）
威廉·鲍尔·德罗弗;凯·恩格哈特 数据精炼：面向模型的证明方法及其比较。 （英语） Zbl 0955.68076号 剑桥理论计算机科学丛书. 47. 剑桥：剑桥大学出版社。xi，423页（1998年）。 审核人：唐纳德·费希尔（斯波坎） MSC公司：60年第68季度 2002年8月 PDF格式BibTeX公司 XML格式引用 \textit｛W.-P.De Roever｝和\textit｛K.Engelhardt｝，数据精化：面向模型的证明方法及其比较。剑桥：剑桥大学出版社（1998；Zbl 0955.68076） 全文： 内政部
徐启文;威廉·鲍尔·德·罗弗;何继峰 验证共享变量并发程序的可靠性保证方法。 （英语） Zbl 0874.68202号 正式Asp。计算。 9，第2期，149-174（1997）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Q.Xu}等人，正式Asp。计算。9，第2号，149--174（1997；Zbl 0874.68202） 全文： 内政部
Zwiers，J。;美国汉尼曼。;Y.拉赫内切。;德罗弗，W.-P。 综合不同的开发范式：将自上而下和自下而上的分布式系统推理相结合。 （英语） Zbl 1354.68182号 Thiagarajan，P.S.（编辑），《软件技术和理论计算机科学基础》。第十五届会议，印度班加罗尔，1995年12月18日至20日。诉讼程序。柏林：Springer-Verlag（ISBN 3-540-60692-0）。莱克特。注释计算。科学。1026，80-95（1995年）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Zwiers}等人，Lect。注释计算。科学。1026、80-95（1995年；Zbl 1354.68182） 全文： 内政部
F.A.斯托姆。;德罗弗，W.-P。 分布式算法的顺序推理原理。 （英语） Zbl 0829.68066号 正式Asp。计算。 6，第6期，716-737（1994）.MSC公司：68宽10 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Stomp}和\textit{W.P.deRoever}，正式Asp。计算。第6期，第6期，716-737页（1994年；兹bl 0829.68066） 全文： 内政部
汉斯·朗马克（编辑）;威廉·鲍尔·德·罗弗（编辑）;维托皮尔，简（编辑） 实时和容错系统中的形式化技术。1994年9月19日至23日，与工作组ProCoS（德国吕贝克）联合举办了第三届国际研讨会。诉讼程序。 （英语） Zbl 0803.0029号 计算机科学课堂讲稿863.柏林：Springer-Verlag（ISBN 3-540-58468-4/pbk）。xiv，787页（1994年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{H.Langmaack}（ed.）等人，实时和容错系统中的形式化技术。1994年9月19日至23日，与工作组ProCoS（德国吕贝克）联合组织的第三届国际研讨会。诉讼程序。柏林：Springer-Verlag（1994；Zbl 0803.0029）
德巴克尔，J.W。（编辑）;德罗弗，W.-P。（编辑）;G.罗森伯格。（编辑） 十年的并发。反思和观点。REX学校/研讨会，1993年6月1日至4日，荷兰诺德威克霍特。诉讼程序。 （英语） Zbl 0825.00132号 计算机科学课堂讲稿803.柏林：斯普林格·弗拉格。vii，684页，122.00马克；öS 951.60；sFr 122.00/sc（1994年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}（编辑）等人，《十年的并发性》。反思和观点。1993年6月1日至4日，荷兰诺德威克霍特，REX学校/研讨会。诉讼程序。柏林：施普林格（1994；Zbl 0825.00132）
德巴克尔，J.W。（编辑）;德罗弗，W.-P。（编辑）;G.罗森伯格。（编辑） 语义：基础和应用。1992年6月1日至4日，荷兰Beekbergen，REX研讨会。诉讼程序。 （英语） Zbl 0825.00095 计算机科学课堂讲稿666.柏林：施普林格出版社。八、 第659页（1993年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}（编辑）等人，《语义：基础和应用》。1992年6月1-4日，荷兰Beekbergen，REX研讨会。诉讼程序。柏林：Springer-Verlag（1993；Zbl 0825.00095） 全文： 内政部
J.J.M.胡曼。;拉梅什，S。;德·罗弗，W.P。 状态图的组合公理化。 （英语） Zbl 0770.68090号 西奥。计算。科学。 101，第2期，289-355（1992）.MSC公司：60年第68季度 68N99型 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.J.M.Hooman}等人，Theor。计算。科学。101，第2号，289--355（1992；Zbl 0770.68090） 全文： 内政部
胡曼，J.J.M。;德·罗弗，W.P。 介绍并发的组合方法及其在实时中的应用。 （英语） Zbl 1075.68616号 萨达纳 17，第1期，第29-73页（1992年）.MSC公司：60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.J.M.Hooman}和\textit{W.P.de Roever}，萨达纳17号，第1期，第29-73页（1992；Zbl 1075.68616） 全文： 内政部
惠泽，C。;德·罗弗，W.P。 介绍状态图语义中的设计选择。 （英语） Zbl 0713.68012号 信息处理。莱特。 37，第4号，205-213（1991）.MSC公司：68甲15 68问题55 68个月1日 PDF格式BibTeX公司 XML格式引用 \textit{C.Huizing}和\textit{W.P.deRoever}，Inf.过程。莱特。37，第4号，205--213（1991；Zbl 0713.68012） 全文： 内政部
德巴克尔，J.W。（编辑）;德·罗弗，W.P。（编辑）;G.罗森伯格。（编辑） 面向对象语言的基础。1990年5月28日至6月1日，荷兰诺德威克霍特REX学校/研讨会。诉讼程序。 （英语） 邮编：0875.00080 计算机科学课堂讲稿. 489. 柏林：Springer-Verlag。八、 第442页（1991年）。MSC公司：00B25型 68-06 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}（ed.）等人，《面向对象语言的基础》。1990年5月28日至6月1日，荷兰诺德威克霍特REX学校/研讨会。诉讼程序。柏林：Springer-Verlag（1991；Zbl 0875.00080） 全文： 内政部
雅各布斯·W·德·巴克。（编辑）;威廉·鲍尔·德·罗弗（编辑）;格列泽戈兹·罗森贝格（编辑） 并行逻辑和模型中的线性时间、分支时间和部分顺序。1988年5月30日至6月3日，荷兰Noordwijkerhout学校/研讨会。诉讼程序。 （英语） Zbl 0683.68001号 计算机科学课堂讲稿354.柏林等：斯普林格·弗拉格。八、 第713页（1989年）。MSC公司：68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}（ed.）等人，逻辑和并发模型中的线性时间、分支时间和偏序。1988年5月30日至6月3日，荷兰诺德威克霍特学校/工作室。诉讼程序。柏林等：Springer-Verlag（1989；Zbl 0683.68001）
F.A.斯托姆。;德·罗弗，W.P。;格思，R.T。 演算作为公平性参数的断言语言。 （英语） Zbl 0678.68010号 Inf.计算。 82，第3期，278-322（1989）.MSC公司：60年第68季度 68问题65 03B45号 03B70号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.A.Stomp}等人，《信息计算》。82，第3号，278--322（1989；Zbl 0678.68010） 全文： 内政部
科曼，R。;Shyamasundar，R.K。;德罗弗，W.P。;Gerth，R。;阿伦·库马尔，S。 实时分布式计算的合成语义。 （英语） Zbl 0669.68055号 Inf.计算。 79，第3期，210-256（1988）. 审核人：M.Jůza MSC公司：68问题55 68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Koyman}等人，《信息计算》。79，编号3，210--256（1988；Zbl 0669.68055） 全文： 内政部
惠泽，C。;Gerth，R。;德·罗弗，W.P。 以完全抽象的方式建模状态图行为。 （英语） Zbl 0647.68018号 代数和编程树，Proc。第13届CAAP Colloq.，Nancy/France 1988，Lect。注释计算。科学。299, 271-294 (1988).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
罗伯·格思;德·罗弗，W.P。 再次验证监控器：验证面向对象系统的第一步。 （英语） Zbl 0617.68026号 安.社会.数学。政策。，序列号。四、 芬丹。信息。 9, 371-399 (1986).MSC公司：68N25号 PDF格式BibTeX公司 XML格式引用 \textit｛R.Gerth｝和\textit｛W.P.de Roever｝，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.9，371--399（1986；Zbl 0617.68026）
乔泽夫·胡曼;威廉·普·德·罗弗。 接下来的任务是：对CSP部分正确性的证明系统进行调查。 （英语） 兹比尔0597.68024 当前并发趋势、概述和教程，Lect。注释计算。科学。224, 343-395 (1986). 审核人：C.马萨拉吉 MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式
德巴克尔，J.W。（编辑）;德罗弗，W.-P。（编辑）;G.罗森伯格。（编辑） 并发性的当前趋势。概述和教程。 （英语） Zbl 0587.00018号 计算机科学课堂讲稿, 224. 柏林等：Springer-Verlag。十二、 716 p.DM 98.00（1986）。MSC公司：00亿Bxx 68-06 PDF格式BibTeX公司 XML格式
范迪蓬，N.W.P。;德·罗弗，W.P。 通过转换派生程序：列表复制算法的演变。 （英语） Zbl 0585.68024号 科学。计算。程序。 6, 213-272 (1986).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.W.P.Van Diepen}和\textit{W.P.de Roever}，科学。计算。程序。6、213--272（1986；Zbl 0585.68024） 全文： 内政部 链接
乔布·兹维尔;威廉·保罗·德·罗弗;范·埃姆德·博阿斯（Peter van Emde Boas） 组成性和并发网络：证明系统的健全性和完整性。 （英语） 兹伯利0566.68014 《自动化、语言和编程》，第12届Colloq.，Nafplion/希腊1985年，Lect。注释计算。科学。194, 509-519 (1985).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
科曼斯，R。;Shyamasundar，R.K。;德·罗弗，W.P。;Gerth，R。;阿伦·库马尔，S。 实时分布式计算的合成语义。 （英语） Zbl 0565.68026号 程序逻辑，程序。Conf.，布鲁克林/纽约，1985年，Lect。注释计算。科学。193, 167-189 (1985).MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式
乔布·兹维尔;阿里·德布鲁因;威廉·保罗·德罗弗 动态过程网络部分正确性的证明系统。 （英语） Zbl 0558.68023号 《程序逻辑》，研讨会，匹兹堡/宾夕法尼亚州，1983年，莱克特。注释计算。科学。164, 513-527 (1984).MSC公司：68N25号 PDF格式BibTeX公司 XML格式
罗伯·格思;威廉·德·罗弗（Willem P.de Roever）。 并行ADA程序的证明系统。 （英语） Zbl 0536.68009号 科学。计算。程序。 4, 159-204 (1984).MSC公司：60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{R.Gerth}和\textit{W.P.de Roever}，科学。计算。程序。4159--204（1984；Zbl 0536.68009） 全文： 内政部 链接
柯伊伯，R。;德·罗弗，W.P。 时间逻辑框架中CSP的公平性假设。 （英语） Zbl 0512.68022号 编程概念的形式化描述II，Proc。IFIP Conf.，Garmisch-Partenkirchen 1982，159-170（1983）。MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式
罗伯·格思;威廉·德·罗弗（Willem P.de Roever）。;马利·朗肯 分布式系统和荷兰爱国主义研究。 （英语） Zbl 0547.68025号 《软件技术和理论计算机科学基础》，第二届Conf.，班加罗尔/印度，1982，192-233（1982）。MSC公司：68N25号 PDF格式BibTeX公司 XML格式
罗伯·格思;威廉·德·罗弗。;马利·朗肯 过程和并发：一项证据研究。 （英语） Zbl 0493.68019号 编程，程序。国际交响乐团。，第五学院，都灵，1982年，法律。注释计算。科学。137, 132-163 (1982).MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式
威廉·德·罗弗（Willem P.de Roever）。 关于公平终止的推理形式主义。（扩展摘要）。 （英语） 兹伯利04816.8017 项目逻辑，约克敦高地/纽约1981年研讨会，Lect。注释计算。科学。131, 113-121 (1982).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式
M.龙肯。;Gerth，R。;德罗弗，W.P。 Brinch Hansen分布式过程的证明系统。 （英语） Zbl 0476.68023号 GI-11。贾勒斯塔格。，第三届欧洲理事会信息，慕尼黑，1981年，信息-Fachber。50, 88-95 (1981).MSC公司：68N25号 PDF格式BibTeX公司 XML格式
Krzysztof R.阿普特。;尼西姆·弗朗西兹;威廉·德·罗弗。 通信顺序过程的证明系统。 （英语） 兹伯利0468.68023 ACM事务处理。程序。语言系统。 2, 359-385 (1980).MSC公司：68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人，ACM Trans。程序。语言系统。2359--385（1980；Zbl 0468.68023） 全文： 内政部 链接
[克里斯托弗·弗雷泽（Christopher W.Fraser）。;罗伯特·康斯特布尔。;斯科特·约翰逊;Amelia C.方。;约翰·班宁;很好，唐纳德。;理查德·科恩（Richard M.Cohen）。;斯坦利·李;苏珊·格哈特。;Willem P.DeRoever。;罗伯特·卡特赖特;约翰·麦卡锡;大卫·哈雷尔;沃恩·普拉特;马可·卡萨诺娃。;菲利普·伯恩斯坦。;阿霍，阿尔弗雷德五世。;杰弗里·乌尔曼。;里纳·科恩;E.哈里。;J.E.萨维奇。;Swamy，Sowmitri公司;诺曼·H·科恩。;阿德里安·克里彻;克里斯托夫·霍夫曼。;迈克尔·奥唐纳。;格雷夫，艾琳;阿尔伯特·迈耶;海鸥，W.E。;Jenkins，医学硕士。;爱德蒙·肖恩伯格;雅各布·T·施瓦茨。;米查·谢里尔;埃德蒙·克拉克（Edmund M.Clarke）。;刘，肯·C。;弗莱克，阿瑟·C。;斯坦·安德勒;特伦斯·C·米勒。;尼尔·D·琼斯。;史蒂文·穆奇尼克。;约翰·赖夫（John H.Reif）。;帕特里克·库索特;拉迪亚·库索特;理查德·雷特曼（Richard P.Reitman）。;格雷戈里·安德鲁斯。] 1979年1月29日至31日在得克萨斯州圣安东尼奥举行的第六届年度ACM编程语言原理研讨会的会议记录。 （英语） Zbl 0473.68004号 由计算机械协会、自动机和可计算性理论特别兴趣小组、编程语言特别兴趣小组赞助。纽约：计算机协会。四、 第290页（1979年）。MSC公司：68-06 00亿Bxx PDF格式BibTeX公司 XML格式
尼西姆·弗朗西兹;C.A.R.霍尔。;丹尼尔·莱曼。;威廉·德·罗弗（Willem P.de Roever）。 不确定性、并发性和通信的语义。 （英语） Zbl 0434.68066号 J.计算。系统。科学。 19, 290-308 (1979).MSC公司：68问题55 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人，J.Compute。系统。科学。19、290--308（1979年；Zbl 0434.68066） 全文： 内政部 链接
尼西姆·弗朗西兹;霍尔，C.A.R。;威廉·德·罗弗（Willem P.de Roever）。 不确定性、并发性和通信的语义。 （英语） Zbl 0391.68017号 数学。找到计算。科学。1978年，程序。第七交响曲。马萨诸塞州扎科帕内。注释计算。科学。64, 191-200 (1978).MSC公司：68N25号 68问题55 PDF格式BibTeX公司 XML格式
威廉·德·罗弗（Willem P.de Roever）。 关于回溯和最大修正点。 （英语） Zbl 0373.68037号 形式描述。程序。语言，程序。IFIP Conf.，加拿大圣安德鲁斯，1977，621-639（1978）。MSC公司：68瓦99 68号01 PDF格式BibTeX公司 XML格式
威廉·德·罗弗（Willem P.de Roever）。 回溯和最佳定点。 （英语） Zbl 0353.68055号 《自动化、语言和编程》，第四届Colloq.，Turku 1977，Lect。注释计算。科学。52, 412-429 (1977).MSC公司：68瓦99 PDF格式BibTeX公司 XML格式
德·罗弗，W.P。 Dijkstra的谓词变换器、非确定性、递归和终止。 （英语） Zbl 0341.68014号 数学。找到。计算。科学。，程序。第五届MFCS交响乐团。，格但斯克，1976年，莱克托。注释计算。科学。45, 472-481 (1976).MSC公司：68号01 03克15 PDF格式BibTeX公司 XML格式
威廉·德·罗弗（Willem P.de Roever）。 按名称调用到按值调用的一阶缩减。 （英语） Zbl 0318.68017号 数学。找到。计算。科学。，第4次研讨会。，Marianske Lazne 1975年，Lect。注释计算。科学。32, 377-398 (1975).MSC公司：68号01 03B10号机组 PDF格式BibTeX公司 XML格式
德罗弗，W.P。 Call-by-value与Call-by-name：一个验证性的比较。 （英语） Zbl 0303.68014号 数学。找到。计算。科学。，第三交响曲。Jadwisin 1974年，Lect。注释计算。科学。28, 451-463 (1975).MSC公司：68号01 03D99号 03F99型 PDF格式BibTeX公司 XML格式
德·罗弗，W.P。 递归和参数机制：一种公理化方法。 （英语） Zbl 0302.68019号 自动机，语言，程序。；第二次学术讨论会。，萨尔布吕肯大学，计算机科学讲稿。第14、34-65页（1974年）。MSC公司：68号01 03克15 03B40型 68瓦99 03D99号 PDF格式BibTeX公司 XML格式
德巴克尔，J.W。;德·罗弗，W.P。 递归程序方案的微积分。 （英语） Zbl 0262.68004号 自动机、语言、编程、程序。交响乐。仪表回收。Informatique Automatique（IRIA），罗克森科特1972年，167-196年（1973年）。MSC公司：68号01 03D99号 PDF格式BibTeX公司 XML格式
德巴克，J.W。;德罗弗，W.P。 递归程序方案的微积分。 （英语） Zbl 0238.68006号 数学。Centrum，阿姆斯特丹，Rekenafd。MR 131，61页（1972年）。MSC公司：68号01 65年第68季度 PDF格式BibTeX公司 XML格式
德·罗弗，W.P。 ALGOL 60中具有垃圾收集的精确有理函数系统。 （英语） Zbl 0232.68023号 数学。Centrum，阿姆斯特丹，Rekenafd。MR 119，54页（1970）。MSC公司：68-04 68宽15 68号01 PDF格式BibTeX公司 XML格式