巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴 使用约束自动机的Reo电路的符号执行。 (英语) Zbl 1242.68073号 科学。计算。程序。 77,编号7-8,848-869(2012).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pourvatan}等人,科学。计算。程序。77,编号7--8848-869(2012;Zbl 1242.68073) 全文: 内政部
巴赫曼·普瓦坦;马尔詹·西尔贾尼;侯赛因·霍贾特;法哈德·阿尔巴 使用符号执行对Reo电路进行自动分析。 (英语) Zbl 1364.68142号 Salaün,Gwen(编辑)等人,第八届协调语言和软件架构基础国际研讨会会议记录(FOCLASA 2009),希腊罗德斯,2009年7月11日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记255,137-158(2009)。MSC公司:68号30 65年第68季度 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Pourvatan}等人,《电子》。注释Theor。计算。科学。255、137--158(2009年;Zbl 1364.68142) 全文: 链接