罗布·范格拉贝克 在具有超时的进程代数中建模互斥。 (英语) Zbl 07742410号 Inf.计算。 294,文章ID 105079,36 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Inf.计算。294,文章ID 105079,36 p.(2023;Zbl 07742410) 全文: 内政部 arXiv公司
罗布·范·格拉贝克。;乌苏拉·戈尔茨;Jens-Wolfhard Schicke-Uffmann 关于表征可分配性。 (英语) Zbl 1274.68261号 日志。方法计算。科学。 9,第3号,第17号文件,第34页(2013年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek}等人,《日志》。方法计算。科学。9,第3号,第17号论文,34页(2013;Zbl 1274.68261) 全文: 内政部 arXiv公司
罗布·范·格拉贝克。;乌苏拉·戈尔茨;延斯·沃尔夫哈德·希克 场所/过渡系统的抽象过程。 (英语) Zbl 1260.68282号 信息处理。莱特。 111,第13号,626-633(2011).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van-Grabbeek}等人,《信息过程》。莱特。111,第13号,626--633(2011;Zbl 1260.68282) 全文: 内政部 arXiv公司
罗布·范格拉贝克;乌苏拉·戈尔茨;延斯·沃尔夫哈德·希克 对称和非对称异步交互。 (英语) Zbl 1291.68291号 Bonchi,Filippo(编辑)等人,第一届交互和并发体验研讨会(ICE 2008)会议记录,冰岛雷克雅未克,2008年7月6日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第3期,77-95(2009)。MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人,《电子》。注释Theor。计算。科学。229,第3号,77--95(2009;Zbl 1291.68291) 全文: 内政部
范·格拉贝克,R.J。;普洛金,G.D。 配置结构、事件结构和Petri网。 (英语) Zbl 1187.68329号 西奥。计算。科学。 410,编号41,4111-4159(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Van Glabbeek}和\textit{G.D.Plotkin},Theor。计算。科学。410,编号41,4111--4159(2009;Zbl 1187.68329) 全文: 内政部 arXiv公司
罗布·范格拉贝克 指定超时时。 (英语) Zbl 1316.68109号 Aceto,Luca(编辑)等人,《代数过程计算论文》研讨会论文集(APC 25),意大利贝蒂诺罗,2005年8月1日至5日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记162173-175(2006)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Van Glabbeek},电子。注释Theor。计算。科学。162173--175(2006年;Zbl 1316.68109) 全文: 内政部
范·格拉贝克,R.J。 “关于高维自动机的表现力”勘误表。 (英语) Zbl 1171.68582号 西奥。计算。科学。 368,第1-2号,168-194(2006).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.J.van Glabbeek},Theor。计算。科学。368,编号1--2,168-194(2006;Zbl 1171.68582) 全文: 内政部 链接
范·格拉贝克,R.J。 关于高维自动机的表达性。 (英语) Zbl 1092.68071号 西奥。计算。科学。 356,第3期,265-290(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{R.J.van Glabbeek},Theor。计算。科学。356,第3号,265--290(2006;Zbl 1092.68071) 全文: 内政部 链接
罗布·范格拉贝克;Vaandrager,Frits公司 并发代数理论的Petri网模型。 (英语) Zbl 0633.68054号 欧洲并行体系结构和语言,Proc。Conf.,Eindhover/Neth公司。1987年,第2卷,Lect。注释计算。科学。259, 224-242 (1987).MSC公司:68问题85 PDF格式BibTeX公司 XML格式