尼玛·鲁希;格温·萨拉恩 弦规范的可实现性和动态重构。 (英语) Zbl 1238.68051号 卢布Informatica。 35,第1号,39-49(2011).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Roohi}和\textit{G.SalaüN},卢布Informatica。35,第1号,第39-49号(2011;Zbl 1238.68051)
格温·萨拉恩;克里斯蒂安·阿提奥贝 MIAOw:将进程代数与形式数据集成的方法。 (英语) Zbl 1101.68704号 卢布Informatica。 28,第2期,207-219(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Salaün}和\textit{C.Attiogbé},卢布Informatica。28,第2号,207--219(2004;Zbl 1101.68704)