纳迪亚·布西;吉安路易吉·扎瓦塔罗 共享数据空间协调的进程代数视图。 (英语) Zbl 1135.68043号 J.日志。阿尔盖布。程序。 75,第1号,52-85(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavataro},J.Log。阿尔盖布。程序。75,编号1,52--85(2008;Zbl 1135.68043) 全文: 内政部
马里奥·布拉维蒂;吉安路易吉·扎瓦塔罗 从进程代数的角度来看,面向服务的计算。 (英语) 兹比尔1178.68072 J.日志。阿尔盖布。程序。 70,第1期,3-14(2007).MSC公司:64岁以下 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格式