彼得罗·森恰雷利;丹尼尔·戈拉;伊万诺·萨尔沃 耗损渠道:网络设计中的动态、行为和效率。 (英语) Zbl 1423.68043号 学报信息。 56,第5号,405-431(2019).MSC公司:68M10个 05C21号 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.Cenciarelli}等人,《信息学报》56,第5期,第405--431页(2019年;Zbl 1423.68043) 全文: 内政部
丹尼尔·戈拉;乌韦·内斯特曼 对表现力的全面抽象:历史、神话和事实。 (英语) Zbl 1361.68028号 数学。结构。计算。科学。 26,第4期,639-654(2016).MSC公司:68甲15 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla}和\textit{U.Nestmann},数学。结构。计算。科学。26,第4号,639--654(2016;Zbl 1361.68028) 全文: 内政部
丹尼尔·戈拉 分布和移动性的过程结石分类。 (英语) 兹比尔1231.68169 分布计算。 23,第4期,273-299(2010).MSC公司:68问题85 64岁以下 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla},分布计算。23,第4号,273--299(2010;Zbl 1231.68169) 全文: 内政部
德尼古拉,罗科;丹尼尔·戈拉;汉森、雷内·里多夫;弗莱明·尼尔森;尼尔森、汉内·里斯;克里斯蒂安·普罗布斯特。;罗萨里奥Pugliese 从流逻辑到协调语言的静态类型系统。 (英语) Zbl 1192.68126号 科学。计算。程序。 75,第6期,376-397(2010).MSC公司:68甲15 60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,科学。计算。程序。75,第6号,376--397(2010;Zbl 1192.68126) 全文: 内政部
丹尼尔·戈拉;罗萨里奥Pugliese 使用支持网络的协调语言动态管理功能。 (英语) 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 1169.68009号 Inf.计算。 206,第8期,931-952(2008).MSC公司:68甲15 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Gorla},Inf.计算。206,第8号,931--952(2008;Zbl 1169.68009) 全文: 内政部