丹尼尔·戈拉;罗萨里奥·普格利泽 使用支持网络的协调语言动态管理功能。 (英语) 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) 全文: 内政部
丹尼尔·赫希科夫;Damien Pous;戴维·桑吉奥吉 安全环境的高效抽象机器。 (英语) Zbl 1116.68056号 J.日志。阿尔盖布。程序。 71,第2期,114-149(2007).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hirschkoff}等人,J.Log。阿尔盖布。程序。71,第2号,114--149(2007;Zbl 1116.68056) 全文: 内政部 链接