奥尔德罗格（Ernst-Rüdiger Olderog）;海克·卫尔海姆 CSP-OZ中的规范和（属性）继承。 （英语） Zbl 1075.68051号 科学。计算。程序。 55，编号1-3，227-257（2005）.MSC公司：第68季度第60季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{H.Wehrheim}，科学。计算。程序。55，编号1--3，227--257（2005；Zbl 1075.68051） 全文： 内政部
奥尔德罗格（Ernst-Rüdiger Olderog）;海克·卫尔海姆 CSP-OZ中的规范和继承。 （英语） Zbl 1254.68065号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。2002年11月5日至8日在荷兰莱顿举行的2002年FMCO第一次国际研讨会。修订的讲座。柏林：施普林格出版社（ISBN 3-540-20303-6/pbk）。莱克特。注释计算。科学。2852, 361-379 (2003).MSC公司：第68页第19页 68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.-R.Olderog}和\textit{H.Wehrheim}，莱克特。注释计算。科学。2852361--379（2003年；Zbl 1254.68065） 全文： 内政部
E.-R.奥尔德罗。;你好，托尼 用于通信过程的面向规范的语义。 （英语） Zbl 0569.68019号 学报信息。 23, 9-66 (1986).MSC公司：68N25号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{E.R.Olderog}和\textit{T.Hoare}，《学报年鉴》23，9--66（1986；Zbl 0569.68019） 全文： 内政部
Krysztof R.阿普特。;E.-R.奥尔德罗。 实现并行程序公平性假设的转换。 （英语） Zbl 0558.68015号 计算机科学的理论方面，Symp。，1984年，巴黎。注释计算。科学。166, 26-42 (1984).MSC公司：第68季度第60季度 68N25号 PDF格式BibTeX公司 XML格式