保罗·汉尼拔;奥尔德罗格(Ernst-Rüdiger Olderog) 重复通信Petri博弈的综合问题。 (英语) 兹比尔1499.68225 Bernardinello,Luca(编辑)等人,《Petri网和并发的应用和理论》。第43届国际会议,PETRI NETS 2022,挪威卑尔根,2022年6月19-24日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13288236-257(2022)。MSC公司:68问题85 65年第68季度 91A80 PDF格式BibTeX公司 XML格式引用 \textit{P.Hannibal}和\textit{E.-R.Olderog},莱克特。注释计算。科学。13288,236--257(2022;Zbl 1499.68225) 全文: 内政部
Krzysztof R.阿普特。;奥尔德罗格(Ernst-Rüdiger Olderog) 霍尔50年的逻辑。 (英语) Zbl 1427.68008号 正式Asp。计算。 31,第6号,751-807(2019).MSC公司:68-03 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}和\textit{E.-R.Olderog},正式Asp。计算。31,编号:6751-807(2019;兹bl 1427.68008) 全文: 内政部 arXiv公司 链接
奥尔德罗格(Ernst-Rüdiger Olderog);安德烈亚斯·波德尔斯基 动态控制的显式公平调度。 (英语) Zbl 1274.68035号 Dennis Dams(编辑)等人,《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林:施普林格出版社(ISBN 978-3-642-11511-0/pbk)。计算机科学课堂讲稿593096-117(2010)。MSC公司:68平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{A.Podelski},莱克特。注释计算。科学。5930、96-117(2010年;Zbl 1274.68035) 全文: 内政部
迈克尔·莫勒;奥尔德罗格(Ernst-Rüdiger Olderog);霍尔格·拉什;海克·卫尔海姆 使用UML和Java将形式化方法集成到软件工程过程中。 (英语) 兹比尔1141.68024 正式Asp。计算。 20,第2期,161-204(2008).MSC公司:68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Möller}等人,正式Asp。计算。20,第2号,161--204(2008;Zbl 1141.68024) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂芬·罗西格 并发系统转换设计的案例研究。 (英语) Zbl 1497.68350号 Gaudel,Marie-Claude(编辑)等人,《TAPSOFT’93:软件开发的理论与实践》。第四届CAAP/FASE国际联席会议,法国奥尔赛,1993年4月13日至17日。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。668, 90-104 (1993).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{S.Rössig},莱克特。注释计算。科学。668、90-104(1993年;Zbl 1497.68350) 全文: 内政部
奥尔德罗格(Ernst-Rüdiger Olderog) 并发进程的正确性。 (英语) Zbl 0745.68045号 西奥。计算。科学。 80,第2期,263-288(1991).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{E.-R.Olderog},Theor。计算。科学。80,第2号,263--288(1991;Zbl 0745.68045) 全文: 内政部
德巴克,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;朱克,J.I。 统一并发语义中的转换系统、度量空间和就绪集。 (英语) Zbl 0652.68028号 J.计算。系统。科学。 36,第2期,158-224(1988). 审核人:J.-J.Ch.梅耶 MSC公司:99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.De Bakker}等人,J.Compute。系统。科学。36,第2号,158--224(1988;Zbl 0652.68028) 全文: 内政部 链接
德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 一致并发语义中的无限流和有限观察。 (英语) Zbl 0623.68016号 西奥。计算。科学。 49, 87-112 (1987).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}等人,Theor。计算。科学。49、87——112(1987年;Zbl 0623.68016) 全文: 内政部 链接
E.-R.奥尔德罗。;你好,托尼 通信过程的面向规范的语义。 (英语) Zbl 0569.68019号 学报信息。 23, 9-66 (1986).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare},《学报年鉴》23,9--66(1986;Zbl 0569.68019) 全文: 内政部