阿米尔·穆罕默德(Amir-Mhammadian,Sepehr);Mehran S·法拉。 用于访问控制的谓词多态演算中的非干扰。 (英语) Zbl 1308.68026号 计算。语言系统。结构。 39,第3期,109-120(2013).MSC公司:68甲15 68甲18 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Amir-Mhammadian}和\textit{M.S.Fallah},计算。语言系统。结构。39,第3号,109-120(2013;Zbl 1308.68026) 全文: 内政部
尼尔森、汉内·里斯;弗莱明·尼尔森 CCS的单调框架。 (英语) Zbl 1387.68172号 计算。语言系统。结构。 35,第4期,365-394(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.R.尼尔森}和\textit{F.尼尔森,计算。语言系统。结构。35,第4号,365-394(2009;Zbl 1387.68172) 全文: 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪;弗拉米尼娅·卢西奥。;卡拉广场 移动环境的嵌套分析。 (英语) Zbl 1072.68066号 计算。语言系统。结构。 30,编号3-4,207-230(2004).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,计算。语言系统。结构。30,编号3--4,207--230(2004;Zbl 1072.68066) 全文: 内政部
奇亚拉·布拉金;阿戈斯蒂诺·科尔特斯;里卡多·福卡尔迪 移动环境中的安全边界。 (英语) Zbl 1028.68004号 计算。语言系统。结构。 28,第1期,101-127(2002).MSC公司:68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{C.Braghin}等人,计算。语言系统。结构。28,第1号,101--127(2002;Zbl 1028.68004) 全文: 内政部
米歇尔·布格列西;朱塞佩·卡斯塔尼亚 安全环境下的行为打字。 (英语) Zbl 1028.68005号 计算。语言系统。结构。 28,第1期,61-99(2002).MSC公司:68M10个 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{G.Castagna},计算。语言系统。结构。28,第1号,61--99(2002;Zbl 1028.68005) 全文: 内政部
阿姆托夫特,托本;阿萨夫·科福里。;圣地亚哥·M·佩里卡斯·格特森。 环境微积分中的有序通信。 (英语) Zbl 1051.68029号 计算。语言系统。结构。 28,第1期,29-60(2002).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.Amtoft}等人,计算。语言系统。结构。28,第1号,第29--60条(2002;Zbl 1051.68029) 全文: 内政部