丹尼尔·戈拉;罗萨里奥·普格利泽 使用支持网络的协调语言动态管理功能。 (英语) 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 1187.68310号 J.日志。阿尔盖布。程序。 78,第7号,593-618(2009).MSC公司:第68季度55 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{A.Russo}和\textit{A.Sabelfeld},J.Log。阿尔盖布。程序。78,第7号,593--618(2009;Zbl 1187.68310) 全文: 内政部
吉田、Nobuko;本田、高黑;马丁·伯杰 线性和互模拟。 (英语) Zbl 1119.68131号 J.日志。阿尔盖布。程序。 72,第2期,207-238(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Yoshida}等人,J.Log。阿尔盖布。程序。72,第2号,207--238(2007;Zbl 1119.68131) 全文: 内政部
亚历山德拉·迪·皮耶罗;克里斯·汉金;伊戈尔·西维罗尼;赫伯特·威克利基 Tempus fugit:如何插入。 (英语) 兹比尔1119.68051 J.日志。阿尔盖布。程序。 72,第2期,173-190(2007).MSC公司:68N99型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Di Pierro}等人,J.Log。阿尔盖布。程序。72,第2号,173--190(2007;Zbl 1119.68051) 全文: 内政部
本杰明·阿齐兹;杰夫·汉密尔顿;大卫·格雷 密码过程的静态分析:指称方法。 (英语) Zbl 1078.68027号 J.日志。阿尔盖布。程序。 64,第2期,285-320(2005).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{B.Aziz}等人,J.Log。阿尔盖布。程序。64,第2号,285--320(2005;Zbl 1078.68027) 全文: 内政部
马修·轩尼诗 安全计算和不干涉。 (英语) Zbl 1067.68096号 J.日志。阿尔盖布。程序。 63,第1期,第3-34页(2005年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy},J.Log。阿尔盖布。程序。63,第1号,第3--34号(2005;Zbl 1067.68096) 全文: 内政部 链接
西蒙·蒂尼 合成非干涉特性的规则格式。 (英语) Zbl 1072.68073号 J.日志。阿尔盖布。程序。 60-61, 353-400 (2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Tini},J.日志。阿尔盖布。程序。60-61353-400(2004年;兹bl 1072.68073) 全文: 内政部