克莱门斯·杜伯斯拉夫;克里斯特尔·拜尔 通信场景的定量分析。 （英语） Zbl 1465.68194号 Sankaranarayanan，Sriram（编辑）等人，时间系统的形式化建模和分析。第13届国际会议，FORMATS 2015，西班牙马德里，2015年9月2-4日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9268, 76-92 (2015).MSC公司：68问题85 60年28日 64岁以下 68平方米 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dubslaff}和\textit{C.Baier}，莱克特。注释计算。科学。9268、76-92（2015年；Zbl 1465.68194） 全文： 内政部
法哈德·阿尔巴;孙孟;克里斯特尔·拜尔 根据基于场景的规范合成Reo电路。 （英语） Zbl 1347.68024号 Canal，Carlos（编辑）等人，第七届协调语言和软件架构基础国际研讨会会议记录（FOCLASA 2008），冰岛雷克雅未克，2008年7月13日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记229，第2期，21-41（2009）。MSC公司：64岁以下 68个M12 68号30 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab}等人，《电子》。理论注释。计算。科学。229，第2号，第21-41号（2009；Zbl 1347.68024） 全文： 内政部