丙酮,L。;Fábregas,I。;加西亚·佩雷斯,a。;Ingólfsdóttir,A。 SOS中有界不确定性的统一规则格式,以术语作为标签。 (英文) Zbl 1373.68285号 J.日志。阿尔盖布。方法计划。 92, 64-86 (2017).MSC公司:68问题55 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,J.Log。阿尔盖布。方法程序。92、64-86(2017年;Zbl 1373.68285) 全文: 内政部
法比奥·加杜奇;弗朗西斯科·桑蒂尼;路易斯·皮诺。;巴伦西亚,弗兰克·D。 软并发约束规划的观察和行为等效性。 (英文) Zbl 1373.68176号 J.日志。阿尔盖布。方法计划。 92, 45-63 (2017).MSC公司:第68页第19页 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Gadducci}等人,J.Log。阿尔盖布。方法程序。92、45-63(2017年;Zbl 1373.68176) 全文: 内政部
罗曼·爱德曼;西蒙·布利兹;约瑟夫·西法基斯 函数式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) 全文: 内政部 链接
Park,Junkil公园;李因苏普;奥列格·索科尔斯基;黄大渊;安,Sojin;Choi,Jin-Young先生;康英业 一种用于分层实时系统的可调度性分析和工作负载抽象的过程代数方法。 (英文) Zbl 1373.68162号 J.日志。阿尔盖布。方法计划。 92, 1-18 (2017).MSC公司:68平方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Park}等人,J.Log。阿尔盖布。方法程序。92、1-18(2017年;Zbl 1373.68162) 全文: 内政部 链接