罗布·范格拉贝克 反应时间逻辑。 （英语） Zbl 07453963号 Dardha，Ornela（ed.）等人，第27届并发表达性国际研讨会和第17届结构操作语义研讨会合并会议记录，EXPRESS/SOS 2020，在线，2020年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）32251-68（2020年）。MSC公司：68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}，电子。程序。西奥。计算。科学。（EPTCS）32251--68（2020；Zbl 07453963） 全文： arXiv公司 链接
罗布·范格拉贝克 确保分布式系统的活性属性：开放问题。 （英语） Zbl 1435.68216号 J.日志。阿尔盖布。方法计划。 109，文章ID 100480，19 p.（2019）.MSC公司：68问题85 64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}，J.Log。阿尔盖布。方法计划。109，文章ID 100480，19 p.（2019；Zbl 1435.68216） 全文： DOI程序 arXiv公司
罗布·范格拉贝克;彼得·霍夫纳;朱尔·范德沃尔 使用mCRL2（扩展抽象）分析AWN规范。 （英语） Zbl 1514.68186号 Furia，Carlo A.（编辑）等，《综合形式方法》。2018年9月5日至7日，第14届国际会议，2018年国际单项体育联合会，爱尔兰Maynooth。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11023, 398-418 (2018).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人，Lect。票据计算。科学。11023398--418（2018年；Zbl 1514.68186） 全文： DOI程序 链接
罗布·范格拉贝克;彼得·霍夫纳;马吕斯·波特曼;Tan、Wee Lum 对AODV路由协议进行建模和验证。 （英语） Zbl 1386.68019号 分布计算。 29，第4号，279-315（2016）.MSC公司：68个M12 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人，《分布计算》。29，第4号，279--315（2016；Zbl 1386.68019） 全文： DOI程序 arXiv公司
蒂莫西·布鲁克;罗伯特·J·范格拉贝克。;彼得·霍夫纳 为网络协议机械化进程代数。 （英语） Zbl 1356.68182号 J.汽车。推理 56，第3号，309-341（2016）.MSC公司：68吨15 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Bourke}等人，J.Autom。推理56，No.3，309--341（2016；Zbl 1356.68182） 全文： DOI程序 arXiv公司
埃米尔·布雷斯;罗布·范格拉贝克;彼得·霍夫纳 无线网络的定时进程代数，具有路由应用程序（扩展抽象）。 （英语） Zbl 1335.68005号 Peter Thiemann（编辑），《编程语言和系统》。2016年4月2日至8日，作为欧洲软件理论与实践联合会议的一部分，在荷兰埃因霍温举行了第25届欧洲编程研讨会，即2016年ESOP。诉讼程序。柏林：施普林格出版社（ISBN 978-3-662-49497-4/pbk；978-3-662-49498-1/电子书）。计算机科学讲座笔记9632，95-122（2016）。MSC公司：68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Bres}等人，Lect。票据计算。科学。9632，95-122（2016；Zbl 1335.68005） 全文： DOI程序 arXiv公司
柯斯汀·彼得斯;罗布·范格拉贝克 分析和比较编码标准。 （英语） Zbl 1476.68181号 Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190、46-60（2015）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Peters}和\textit{R.van Glabbeek}，电子。程序。西奥。计算。科学。（EPTCS）190，46--60（2015；Zbl 1476.68181） 全文： arXiv公司 链接
罗布·范·格拉贝克。 结构保持双重相似性，支持CCSP的操作Petri网语义。 （英语） Zbl 1444.68125号 Meyer，Roland（编辑）等人，《正确的系统设计》。2015年9月8日至9日，德国奥尔登堡，纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9360, 99-130 (2015).MSC公司：68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek}，莱克特。票据计算。科学。9360，99-130（2015；Zbl 1444.68125） 全文： DOI程序 arXiv公司
Höfner，P。;罗布·范格拉贝克;伊恩·海耶斯 前言。 （英语） Zbl 1259.01011号 正式Asp。计算。 24，No.4-6，417-422（2012）.MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人，正式Asp。计算。24、编号4--6、417--422（2012；Zbl 1259.01011） 全文： DOI程序
罗布·范格拉贝克;贝斯·普洛格 五种确定算法。 （英语） Zbl 1172.68535号 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2008年7月21日至24日，美国加利福尼亚州旧金山，CIAA 2008第13届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70843-8/pbk）。计算机科学课堂讲稿5148161-170（2008）。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{B.Ploeger}，莱克特。票据计算。科学。5148161-170（2008年；Zbl 1172.68535） 全文： DOI程序 链接
罗布·范格拉贝克;贝斯·普洛格 修正了一种节省空间的模拟算法。 （英语） Zbl 1155.68450号 Gupta，Aarti（编辑）等人，《计算机辅助验证》。2008年7月7日至14日在美国新泽西州普林斯顿举行的第20届国际会议，CAV 2008。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123517-529（2008）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{B.Ploeger}，莱克特。票据计算。科学。5123、517--529（2008；Zbl 1155.68450） 全文： DOI程序
邓玉欣;罗布·范格拉贝克;马修·轩尼诗;卡罗尔·摩根;张晨毅 关于测试概率过程的备注。 （英语） Zbl 1277.68121号 Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，359-397（2007）。MSC公司：68问题55 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人，《电子》。注释Theor。计算。科学。172，359--397（2007；Zbl 1277.68121） 全文： DOI程序
罗布·范格拉贝克;Vaandrager，Frits公司 过程代数的模规范。 （英语） Zbl 0770.68092号 西奥。计算。科学。 113，第2期，293-348（1993）.MSC公司：68问题65 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}和\textit{F.Vaandrager}，Theor。计算。科学。113，第2号，293--348（1993；Zbl 0770.68092） 全文： DOI程序