露西娅·阿奇艾;米歇尔·博雷尔;吉安路易吉·扎瓦塔罗 具有请求响应操作的行为合同。 (英语) Zbl 1264.68117号 科学。计算。程序。 78,第2期,248-267(2013).MSC公司:68问题85 68甲15 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{L.Acciai}等人,科学。计算。程序。78,第2号,248--267(2013;Zbl 1264.68117) 全文: 内政部
道格·李(编辑);吉安路易吉·扎瓦塔罗(编辑) 特刊:第十届协调模式和语言国际会议(COORD’08)。根据2008年6月4日至6日在挪威奥斯陆举行的会议上的发言选出的论文。 (英语) Zbl 1198.68047号 科学。计算。程序。75,第6期,375-469(2010年)。 MSC公司:68-06 6800万 68牛顿 00B25型 PDF格式BibTeX公司 XML格式
里卡多·福卡迪;罗伯托·卢奇;吉安路易吉·扎瓦塔罗 安全共享数据空间协调语言:过程代数调查。 (英语) Zbl 1103.68432号 科学。计算。程序。 63,第1期,3-15页(2006年).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人,科学。计算。程序。63,第1号,第3--15号(2006;Zbl 1103.68432) 全文: 内政部
马塞洛·M·邦桑格。;Joost N.角。;吉安路易吉·扎瓦塔罗 使用嵌入比较协调模型和架构。 (英语) Zbl 1032.68091号 科学。计算。程序。 46,编号1-2,31-69(2003).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}等人,科学。计算。程序。46,编号1--2,31-69(2003;Zbl 1032.68091) 全文: 内政部