卢卡·埃特罗(编辑);马里奥·布拉维蒂(编辑) 特刊:代数过程计算:第一个二十五年及以后III。 (英文) Zbl 1146.68300号 J.日志。阿尔盖布。程序。75,第1期,第166页。(2008). MSC公司:68-06 68问题85 00B25型 PDF格式BibTeX公司 XML格式
卢卡·埃特罗(编辑);马里奥·布拉维蒂(编辑) 特刊:代数过程结石:第一个二十五年及以后。根据2005年8月1日至5日在意大利贝蒂诺罗举行的研讨会上所作的陈述而选出的论文。 (英文) Zbl 1127.68304号 J.日志。阿尔盖布。程序。72,第1期,122页。(2007). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式
马里奥·布拉维蒂;吉安路易吉·扎瓦塔罗 从进程代数的角度来看,面向服务的计算。 (英文) Zbl 1178.68072号 J.日志。阿尔盖布。程序。 70,第1期,3-14(2007).MSC公司:68米14 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bravetti}和\textit{G.Zavataro},J.Log。阿尔盖布。程序。70,第1号,第3-14号(2007;Zbl 1178.68072) 全文: 内政部
马里奥·布拉维蒂(编辑);吉安路易吉·扎瓦塔罗(编辑) 专题:Web服务和正式方法(WS-FM 2004)。根据2004年2月23日至24日在意大利比萨举行的第一届国际研讨会上的演讲,选出了一些论文。 (英文) Zbl 1125.68301号 J.日志。阿尔盖布。程序。70,第1期,118页。(2007). MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式