克莱门斯·杜伯斯拉夫;克里斯特尔·拜尔 通信场景的定量分析。 (英语) Zbl 1465.68194号 Sankaranarayanan,Sriram(编辑)等人,时间系统的形式化建模和分析。第13届国际会议,FORMATS 2015,西班牙马德里,2015年9月2-4日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9268, 76-92 (2015).MSC公司:68问题85 60J28型 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(ed.)等人,《第七届协调语言和软件架构基础国际研讨会论文集》(FOCLASA 2008),冰岛雷克雅未克,2008年7月13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记229,第2期,21-41(2009)。MSC公司:64岁以下 68平方米 68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Arbab}等人,《电子》。注释Theor。计算。科学。229,第2号,第21-41号(2009;Zbl 1347.68024) 全文: 内政部