罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 无替代性:分离过程结石的标准。 (英语) Zbl 1462.68126号 J.日志。阿尔盖布。方法计划。 116,文章ID 100579,32 p.(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Pugliese}和\textit{F.Tiezzi},J.Log。阿尔盖布。方法计划。116,文章ID 100579,32 p.(2020;Zbl 1462.68126) 全文: 内政部
洛科·德尼古拉;Gianluigi法拉利;罗萨里奥·普格利泽;弗朗西斯科·蒂埃齐 特定于域的分布式系统工程的正式方法。 (英语) Zbl 1494.68022号 J.日志。阿尔盖布。方法计划。 111,文章ID 100511,37 p.(2020).MSC公司:68米14 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,J.Log。阿尔盖布。方法计划。111,文章ID 100511,37 p.(2020;Zbl 1494.68022) 全文: 内政部 arXiv公司
德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·W·普罗布斯特。;罗萨里奥·普格利泽 从流逻辑到协调语言的静态类型系统。 (英语) Zbl 1192.68126号 科学。计算。程序。 75,第6期,376-397(2010).MSC公司:68甲15 60年第68季度 68米14 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,科学。计算。程序。75,第6号,376--397(2010;Zbl 1192.68126) 全文: 内政部
丹尼尔·戈拉;罗萨里奥·普格利泽 使用支持网络的协调语言动态管理功能。 (英语) Zbl 1183.68041号 J.日志。阿尔盖布。程序。 78,第8期,665-689(2009).MSC公司:68M10个 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla}和\textit{R.Pugliese},J.Log。阿尔盖布。程序。78,第8号,665--689(2009;Zbl 1183.68041) 全文: 内政部
洛科·德尼古拉;丹尼尔·戈拉;罗萨里奥·普格利泽 用于全局计算的微积分的基本可观察性。 (英语) Zbl 1119.68124号 Inf.计算。 205,第10期,1491-1525(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,《信息计算》。205,第10号,1491--1525(2007;Zbl 1119.68124) 全文: 内政部
德尼古拉,罗科;丹尼尔·戈拉;罗萨里奥·普格利泽 关于克莱姆-基于计算。 (英语) Zbl 1092.68070号 西奥。计算。科学。 356,编号387-421(2006).MSC公司:68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,Theor。计算。科学。356,第3号,387--421(2006;Zbl 1092.68070) 全文: 内政部
尼古拉,R。;G.-L.法拉利。;普格利泽,R。;B.Venneri。 访问控制的类型。 (英语) Zbl 0954.68025号 西奥。计算。科学。 240,第1期,215-254(2000).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Nicola}等人,Theor。计算。科学。240,编号1,215--254(2000;Zbl 0954.68025) 全文: 内政部