托克塔姆，拉梅扎尼法尔卡尼;Owe、Olaf;Tokas、Shukun 一种用于分布式和面向对象系统的保密语言。 （英语） Zbl 1395.68198号 J.日志。阿尔盖布。方法计划。 99, 1-25 (2018).MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.Ramezanifarkhani}等人，J.Log。阿尔盖布。方法计划。99，1-25（2018；Zbl 1395.68198） 全文： DOI程序 链接
Owe、Olaf;查理·麦克道尔 在异步通信并发对象系统中检测超紧急并发。 （英语） Zbl 1371.68198号 J.日志。阿尔盖布。方法计划。 90158-175（2017）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Owe}和\textit{C.McDowell}，J.Log。阿尔盖布。方法计划。90、158--175（2017年；Zbl 1371.68198） 全文： DOI程序
伊勒姆·W·库尼亚。;阿恩·施·赫夫特 使用动态I/O自动机建模参与者系统。 （英语） Zbl 1461.68135号 Mazzara，Manuel（编辑）等人，《系统信息学的观点》。2015年8月24日至27日，第十届安德烈·埃尔肖夫国际信息学会议，PSI 2015，纪念俄罗斯喀山和因诺波利斯的赫尔穆特·维思。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9609, 186-202 (2016).MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.W.Kurnia}和\textit{A.Poetzsch-Heffter}，莱克特。注释计算。科学。9609186-202（2016；Zbl 1461.68135） 全文： DOI程序
Din、Crystal Chang;理查德·布贝尔;雷纳·哈内尔 Key-ABS：并发建模语言ABS的演绎验证工具。 （英语） Zbl 1465.68174号 Felty，Amy P.（编辑）等人，《自动扣除——CADE-25》。2015年8月1日至7日在德国柏林举行的第25届自动扣减国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9195, 517-526 (2015).MSC公司：60年第68季度 68甲19 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人，Lect。注释计算。科学。9195517--526（2015；Zbl 1465.68174） 全文： DOI程序
Din、Crystal Chang;Owe、Olaf 关于具有共享未来的活动对象的合成推理。 （英语） Zbl 1343.68166号 正式Asp。计算。 第3551-572号（2015）第27页.MSC公司：68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}和\textit{O.Owe}，正式Asp。计算。27，第3号，551--572（2015；Zbl 1343.68166） 全文： DOI程序
约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu，Ingrid Chieh女士 适用类层次结构的证明系统。 （英语） Zbl 1304.68031号 J.日志。阿尔盖布。方法计划。 84，第1期，37-53（2015）.MSC公司：68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Dovland}等人，J.Log。阿尔盖布。方法计划。84，第1号，37-53（2015；Zbl 1304.68031） 全文： DOI程序
罗伯特·J·科尔文。 基于类层次结构的面向对象概念的操作语义。 （英语） Zbl 1342.68057号 正式Asp。计算。 26，第3期，491-535（2014）.MSC公司：68甲19 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.J.Colvin}，正式Asp。计算。26，编号3，491-535（2014年；兹bl 1342.68057） 全文： DOI程序
理查德·布贝尔;安东尼奥·弗洛雷斯·蒙托亚;雷纳·哈内尔 分析可执行软件模型。 （英语） Zbl 1445.68050号 Bernardo，Marco（编辑）等人，可执行软件模型的形式化方法。2014年6月16日至20日，意大利贝蒂诺罗，第14所计算机、通信和软件系统正式设计方法国际学校，SFM 2014。高级讲座。柏林：斯普林格。莱克特。注释计算。科学。8483, 1-25 (2014).MSC公司：68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Bubel}等人，Lect。注释计算。科学。8483，1-25（2014年；兹比尔1445.68050） 全文： DOI程序
Din、Crystal Chang;Owe、Olaf 一个完善的推理系统，用于与共享未来进行异步通信。 （英语） Zbl 1371.68190号 J.日志。阿尔盖布。方法计划。 83，编号5-6，360-383（2014）.MSC公司：68问题85 03B70号 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit｛C.C.Din｝和\textit｛O.Owe｝，J.Log。阿尔盖布。方法计划。83，编号5--6，360-383（2014；Zbl 1371.68190） 全文： DOI程序
Din、Crystal Chang;约翰·多夫兰;埃纳尔·布罗赫·约翰森;Owe、Olaf 分布式系统的可观察行为：并发对象的组件推理。 （英语） Zbl 1247.68184号 J.日志。阿尔盖布。程序。 81，第3期，227-256（2012）.MSC公司：68问题85 68号30 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{C.C.Din}等人，J.Log。阿尔盖布。程序。81、3号、227--256（2012；Zbl 1247.68184） 全文： DOI程序