月亮，Young-Joo;亚历山德拉·席尔瓦;克里斯蒂安·克劳斯;法哈德·阿尔巴 一个组合模型，用于推理随机Reo连接器中的端到端QoS。 （英语） Zbl 1412.68065号 科学。计算。程序。 80，A部分，3-24（2014）.MSC公司：2010年第68季度 68甲15 65年第68季度 68问题55 60年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-J.Moon}等人，科学。计算。程序。80，A部分，3--24（2014；Zbl 1412.68065） 全文： 内政部 arXiv公司 链接
纳塔莉亚·科卡什;克里斯蒂安·克劳斯;埃里克·德文克 Reo+（\mathrm{mCRL2}）：服务组合中的模型检查数据流的框架。 （英语） 兹比尔1259.68129 正式Asp。计算。 24，第2期，187-216（2012）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kokash}等人，正式Asp。计算。24，第2号，187--216（2012；Zbl 1259.68129） 全文： 内政部
克劳斯，克里斯蒂安;Ziyan Maraikar;亚历山大·拉佐维克;法哈德·阿尔巴 使用高级替换系统对Reo中的动态重新配置进行建模。 （英语） Zbl 1211.68052号 科学。计算。程序。 76，第1期，23-36（2011）.MSC公司：68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Krause}等人，科学。计算。程序。76，第1号，23-36（2011；Zbl 1211.68052） 全文： 内政部 链接
纳塔莉亚·科卡什;克里斯蒂安·克劳斯;埃里克·P·德文克。 验证基于上下文相关通道的服务模型。 （英语） Zbl 1312.68073号 de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，2009年FMCO，荷兰埃因霍温，2009年11月4-6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286，21-40（2010）。MSC公司：68N99型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Kokash}等人，Lect。注释计算。科学。6286，21--40（2010；Zbl 1312.68073） 全文： 内政部