罗布·范格拉贝克;乌苏拉·戈尔茨;Jens-Wolfhard Schicke-Uffmann 抽象流程和冲突到位/过渡系统。 (英语) Zbl 1518.68239号 Inf.计算。 281,文章ID 104706,13 p.(2021).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek}等人,《Inf.Compute》。281,文章ID 104706,13 p.(2021;Zbl 1518.68239) 全文: 内政部 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) 全文: 内政部 arXiv公司
罗布·范·格拉贝克。;乌苏拉·戈尔茨;延斯·沃尔夫哈德·希克 场所/过渡系统的抽象过程。 (英语) Zbl 1260.68282号 Inf.流程。莱特。 111,第13号,626-633(2011).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek}等人,《Inf.过程》。莱特。111,第13号,626--633(2011;Zbl 1260.68282) 全文: 内政部 arXiv公司
罗布·范·格拉贝克。;乌苏拉·戈尔茨;延斯·沃尔夫哈德·希克 关于Petri网的因果语义(扩展抽象)。 (英语) Zbl 1343.68179号 Katoen,Joost-Pieter(编辑)等,CONCUR 2011–并发理论。2011年9月6日至9日,第22届国际会议,CONCUR 2011,德国亚琛。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-23216-9/pbk)。计算机科学课堂讲稿6901,43-59(2011)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek}等人,Lect。注释计算。科学。6901,43-59(2011;Zbl 1343.68179) 全文: 内政部 arXiv公司
范·格拉贝克(Van Glabbeek),R.J。;普洛金,G.D。 配置结构、事件结构和Petri网。 (英语) Zbl 1187.68329号 西奥。计算。科学。 410,第41号,4111-4159(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Van Glabbek}和\textit{G.D.Plotkin},Theor。计算。科学。410,编号41,4111--4159(2009;Zbl 1187.68329) 全文: 内政部 arXiv公司
范·格拉贝克,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) 全文: 内政部 链接