玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 概率移动环境。 (英语) Zbl 1183.68400号 西奥。计算。科学。 410,编号12-13,1272-1303(2009).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Theor。计算。科学。410,编号12--131272--1303(2009;Zbl 1183.68400) 全文: 内政部 链接
Damien Pous 使用互模拟证明技术分析分布式抽象机。 (英语) Zbl 1146.68053号 西奥。计算。科学。 402,编号2-3,199-220(2008).MSC公司:68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \文本{D.Pous},Theor。计算。科学。402,编号2--3,199-220(2008;Zbl 1146.68053) 全文: 内政部 链接
路易吉·利科里;阿诺德·斯皮瓦克 用接口扩展FeatureTrait Java。 (英语) Zbl 1146.68026号 西奥。计算。科学。 398,编号1-3,243-260(2008).MSC公司:68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{L.Ligori}和\textit{A.Spiwack},Theor。计算。科学。398,编号1--3,243--260(2008;Zbl 1146.68026) 全文: 内政部 链接
阿德里亚娜·孔皮诺尼;埃尔萨·甘特。;菲利普·比丁格 装箱环境的基于角色的访问控制。 (英语) Zbl 1146.68020号 西奥。计算。科学。 398,编号1-3,203-216(2008).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Compagnoni}等人,Theor。计算。科学。398,编号1--3,203-216(2008;Zbl 1146.68020) 全文: 内政部
Margaria,伊内斯;马达莱娜·扎基 移动环境计算中的访问控制:比较视图。 (英语) Zbl 1146.68021号 西奥。计算。科学。 398,编号1-3,183-202(2008).MSC公司:64岁以下 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{I.Margaria}和\textit{M.Zacchi},Theor。计算。科学。398,编号1--3,183-202(2008;Zbl 1146.68021) 全文: 内政部
斯特凡诺·贝拉尔迪;乌戈·德利古罗 微积分、类型和应用:纪念M.Coppo、M.Dezani-Ciancaglini和S.Ronchi della Rocca的论文。 (英语) Zbl 1138.01318号 西奥。计算。科学。 398,编号1-3,1-11(2008).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{U.de'Liguoro},Theor。计算。科学。398,编号1--3,1--11(2008;Zbl 1138.01318) 全文: 内政部
玛丽亚·格拉齐亚·维格利奥蒂;伊恩·菲利普斯;卡图西亚帕拉米德斯 关于分离的教程通过领导人选举问题导致流程结石。 (英语) Zbl 1143.68056号 西奥。计算。科学。 388,编号1-3,267-289(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Vigliotti}等人,Theor。计算。科学。388,编号1--3,267--289(2007;Zbl 1143.68056) 全文: 内政部 链接
佛朗哥·巴巴内拉;米歇尔·布格列西;马里亚纽拉州Dezani-Ciancaglini;弗拉迪米罗·萨松 具有空间意识的环境和过程。 (英语) Zbl 1111.68011号 西奥。计算。科学。 373,编号1-2,41-69(2007).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{F.Barbanera}等人,Theor。计算。科学。373,编号1-2,41-69(2007年;Zbl 1111.68011) 全文: 内政部 链接
弗拉迪米罗·萨松;巴布亚州索波辛斯基 用2类定位反应。 (英语) Zbl 1070.68107号 西奥。计算。科学。 333,第1-2号,297-327(2005).MSC公司:68问题85 18D05日 PDF格式BibTeX公司 XML格式引用 \textit{V.Sassone}和\textit{P.Sobocinn ski},Theor。计算。科学。333,编号1--2,297--327(2005;Zbl 1070.68107) 全文: 内政部
爱荷华州博内娃;Jean-Marc Talbot 无法打开环境时。 (英语) Zbl 1070.68042号 西奥。计算。科学。 333,编号1-2,127-169(2005).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Boneva}和\textit{J.-M.Talbot},Theor。计算。科学。333,编号1--2,127-169(2005;Zbl 1070.68042) 全文: 内政部 链接
德克·帕丁森;马丁·威尔辛 移动组件的协调方法。 (英语) Zbl 1070.68010号 西奥。计算。科学。 331,编号2-3,457-483(2005).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{D.Pattinson}和\textit{M.Wirsing},Theor。计算。科学。331,编号2--3,457--483(2005;Zbl 1070.68010) 全文: 内政部
塞尔吉奥·马菲斯;伊恩·菲利普斯 关于纯环境结石的计算强度。 (英语) Zbl 1078.68108号 西奥。计算。科学。 330,第3期,501-551(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Maffeis}和\textit{I.Phillips},Theor。计算。科学。330,第3号,501--551(2005;Zbl 1078.68108) 全文: 内政部
马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 面向分布式系统中访问和移动性控制的行为理论。 (英语) Zbl 1071.68009号 西奥。计算。科学。 322,第3期,615-669(2004).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Hennessy}等人,Theor。计算。科学。322,第3号,615--669(2004;Zbl 1071.68009) 全文: 内政部
纳迪亚·布西;吉安路易吉·扎瓦塔罗 论运动和限制在纯粹的运动环境中的表现力。 (英语) Zbl 1071.68072号 西奥。计算。科学。 322,第3期,477-515(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavattaro},Theor。计算。科学。322,第3号,477--515(2004;Zbl 1071.68072) 全文: 内政部
乔治·德尔赞诺;Maurizio Martelli 线性逻辑中的计算证明。 (英语) Zbl 0974.68191号 西奥。计算。科学。 258,编号1-2,269-297(2001).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{M.Martelli},Theor。计算。科学。258,编号1--2,269--297(2001;Zbl 0974.68191) 全文: 内政部
维维亚娜·博诺;米歇尔·布格列西 匹配对象的lambda演算。 (英语) Zbl 0915.68102号 西奥。计算。科学。 212,编号1-2,101-140(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Bono}和\textit{M.Bugliesi},Theor。计算。科学。212,编号1--2,101-140(1999;Zbl 0915.68102) 全文: 内政部
桑德罗·埃塔利 模块化通用逻辑程序的语义。 (英语) Zbl 0947.68022号 西奥。计算。科学。 206,第1-2号,第51-80号(1998年).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \文本{S.Etalle},Theor。计算。科学。206,编号1--2,51-80(1998;Zbl 0947.68022) 全文: 内政部
桑德罗·埃塔利;毛里齐奥·加布里埃利 CLP模块的转换。 (英语) Zbl 0872.68021号 西奥。计算。科学。 166,第1-2号,第101-146(1996).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{S.Etalle}和\textit{M.Gabbrielli},Theor。计算。科学。166,编号1--2,101-146(1996;Zbl 0872.68021) 全文: 内政部 链接
马可·贝利亚;奥奇乌托(M.Eugenia Occhiuto) C表达式:用于等式逻辑编程的无变量演算。 (英语) Zbl 0779.68014号 西奥。计算。科学。 107,第2期,209-252(1993). 审核人:M.加布里埃利 MSC公司:68N17号 68瓦30 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bellia}和\textit{M.E.Occhiuto},Theor。计算。科学。107,第2号,209--252(1993;Zbl 0779.68014) 全文: 内政部