罗曼·爱德曼;西蒙,布利兹;约瑟夫·西法基斯 函数式BIP:在函数式编程语言中嵌入连接器。 (英语) 兹比尔1373.68173 J.日志。阿尔盖布。方法计划。 92,19-44(2017).MSC公司:68甲18 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Edelmann}等人,J.Log。阿尔盖布。方法程序。92、19-44(2017年;Zbl 1373.68173) 全文: 内政部 链接
Dokter,Kasper公司;宋世宗曼;法哈德·阿尔巴;西蒙,布利兹 合并与征服:关联BIP和Reo。 (英语) Zbl 1353.68201号 J.日志。阿尔盖布。方法计划。 86,第1期,134-156(2017).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Dokter}等人,J.Log。阿尔盖布。方法程序。86,第1号,134--156(2017;Zbl 1353.68201) 全文: 内政部 链接
阿纳斯塔西亚·马夫里杜;爱德华·巴拉诺夫;西蒙,布利兹;约瑟夫·西法基斯 配置逻辑:建模架构风格。 (英语) Zbl 1353.68055号 J.日志。阿尔盖布。方法计划。 86,第1期,2-29(2017).MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Mavridou}等人,J.Log。阿尔盖布。方法程序。86,第1号,第2--29号(2017;Zbl 1353.68055) 全文: 内政部