萨缪尔·卡皮内蒂;科西莫·拉内夫;卢卡·帕多瓦尼 PiDuce-一个试验web服务技术的项目。 (英语) Zbl 1194.68077号 科学。计算。程序。 74,第10号,777-811(2009).MSC公司:68英里11 68甲15 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Carpineti}等人,科学。计算。程序。74,第10号,777--811(2009;Zbl 1194.68077) 全文: 内政部 链接
朱塞佩·卡斯塔尼亚;德尼古拉,罗科;丹尼尔·瓦拉卡 像素的语义子类型。 (英语) Zbl 1146.68052号 西奥。计算。科学。 398,编号1-3,217-242(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Castagna}等人,Theor。计算。科学。398,编号1--3,217--242(2008;Zbl 1146.68052) 全文: 内政部
露西娅·阿西艾;米歇尔·博雷尔 XPi:XML消息传递的类型化进程演算。 (英语) Zbl 1146.68050号 科学。计算。程序。 71,第2号,110-143(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Acciai}和\textit{M.Boreale},科学。计算。程序。71,第2号,110--143(2008;Zbl 1146.68050) 全文: 内政部
塞尔吉奥·马菲斯;菲利普·加德纳 动态web数据的行为等效性。 (英语) Zbl 1135.68005号 J.日志。阿尔盖布。程序。 75,第1期,86-138(2008).MSC公司:68M10个 68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{P.Gardner},J.Log。阿尔盖布。程序。75,编号1,86--138(2008;Zbl 1135.68005) 全文: 内政部