奥尔德罗格，恩斯特·吕迪格；马尼省斯瓦米纳坦 数据丰富的实时系统的结构转换。 （英语） 兹比尔1319.68150 正式Asp。计算。 27，第4期，727-750（2015）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{M.Swaminathan}，正式Asp。计算。27，第4号，727--750（2015；Zbl 1319.68150） 全文： 内政部
马尼省斯瓦米纳坦；Joost-Pieter卡托恩；奥尔德罗格，恩斯特·吕迪格 用于随机分布算法的分层推理。 （英语） 兹比尔1259.68114 正式Asp。计算。 24，第4-6号，477-496（2012）.MSC公司：65年第68季度 68瓦20 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{M.Swaminathan}等人，正式Asp。计算。24、编号4--6、477--496（2012；Zbl 1259.68114） 全文： 内政部
亲爱的，丹尼斯；乌尔里希·汉内曼；马丁·斯特芬 Willem-Paul de Roever的参考书目。 （英语） Zbl 1274.01075号 Dennis Dams（编辑）等人，《并发性、组合性和正确性》。为纪念威廉·保尔·德罗弗而写的论文。柏林：施普林格出版社（ISBN 978-3-642-11511-0/pbk）。计算机科学课堂讲稿5930，1-9（2010）。MSC公司：01A70号 68-03 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}等人，Lect。票据计算。科学。5930，1-9（2010；Zbl 1274.01075） 全文： 内政部
凯·恩格哈特；摩西，约拉姆 导致通信关闭：使用可靠的非FIFO通道进行安全程序合成。 （英语） Zbl 1267.68152号 分布计算。 22，第2期，73-91（2009年）.MSC公司：68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Engelhardt}和\textit{Y.Moses}，分布计算。22，第2号，73--91（2009；Zbl 1267.68152） 全文： 内政部 arXiv公司
Ekkart Kindler公司；沃尔夫冈·雷西格；哈根·沃尔泽；沃尔特·罗尔夫 基于Petri网的分布式算法验证：一个例子。 （英语） Zbl 0889.68071号 正式Asp。计算。 9，第4期，409-424（1997）.MSC公司：68宽15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Kindler}等人，正式Asp。计算。9，第4号，409--424（1997；Zbl 0889.68071） 全文： 内政部
克莱门斯·菲舍尔；威尔·扬森 异步系统的同步开发。 （英语） Zbl 1517.68258号 Montanari，Ugo（编辑）等人，CONCUR’96：并发理论。第七届国际会议，意大利比萨，1996年8月26日至29日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。1119, 735-750 (1996).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛C.Fischer｝和\textit｛W.Janssen｝，Lect。票据计算。科学。1119735-750（1996年；Zbl 1517.68258） 全文： 内政部
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；Zbl 0829.68066） 全文： 内政部