霍夫曼,简;斯特芬·乔斯特 二十年的自动摊销资源分析。 (英语) Zbl 1517.68079号 数学。结构。计算。科学。 32,第6号,729-759(2022).MSC公司:68号30 03B38型 03B70号 68甲18 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}和\textit{S.Jost},数学。结构。计算。科学。32,编号6,729--759(2022;Zbl 1517.68079) 全文: 内政部
乌戈·达尔拉戈;北彦浩弘 贝叶斯编程的几何学。 (英语) Zbl 1495.68035号 数学。结构。计算。科学。 31,第6号,633-681(2021).MSC公司:68甲18 03楼52 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{U.Dal Lago}和\textit{N.Hoshino},数学。结构。计算。科学。31,编号6,633--681(2021;Zbl 1495.68035) 全文: 内政部 arXiv公司
肯塔·乔;巴特·雅各布斯 通过字符串图进行分解和贝叶斯反演。 (英语) Zbl 1452.18008号 数学。结构。计算。科学。 29,第7期,938-971(2019). 审核人:Ernst-Erich Doberkat(多特蒙德) MSC公司:18立方厘米 28A50型 62C10个 PDF格式BibTeX公司 XML格式引用 \textit{K.Cho}和\textit{B.Jacobs},数学。结构。计算。科学。29,第7号,938--971(2019;Zbl 1452.18008) 全文: 内政部 arXiv公司
罗利·佩雷拉;詹姆斯·切尼 相关证明演算:对并发性和因果性的建设性解释。 (英语) Zbl 1400.68142号 数学。结构。计算。科学。 28,第9期,1541-1577(2018).MSC公司:68问题85 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Perera}和\textit{J.Cheney},数学。结构。计算。科学。28,第9号,1541--1577(2018;Zbl 1400.68142) 全文: 内政部 arXiv公司
琳达·布罗多 关于编码移动环境的\(\pi\)-演算的表达性。 (英语) Zbl 1387.68164号 数学。结构。计算。科学。 202-240年第2号第28页(2018年).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo},数学。结构。计算。科学。28,第2号,202--240(2018;Zbl 1387.68164) 全文: 内政部
保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 无法异步观察并发。 (英语) Zbl 1361.68158号 数学。结构。计算。科学。 第4期,第25期,978-1004页(2015年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,数学。结构。计算。科学。25,第4号,978--1004(2015;Zbl 1361.68158) 全文: 内政部
菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 移动环境的RPO语义。 (英语) Zbl 1342.68225号 数学。结构。计算。科学。 24,第4号,文章ID e240404,59页(2014).MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,数学。结构。计算。科学。24,第4号,文章ID e240404,59页(2014;兹bl 1342.68225) 全文: 内政部
阿纳·阿尔梅达·马托斯;简·塞德奎斯特 分布式移动代码的非隔离。 (英语) Zbl 1252.68071号 数学。结构。计算。科学。 2011年第6期第21期第1111-1181页.MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Almeida-Matos}和\textit{J.Cederquist},数学。结构。计算。科学。21,编号6,1111--1181(2011年;兹bl 1252.68071) 全文: 内政部
蔡晓娟;伏玉溪 在\(\pi\)-演算中的\(\lambda\)-微积分。 (英语) Zbl 1223.68073号 数学。结构。计算。科学。 21,第5期,943-996(2011).MSC公司:68问题85 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{X.Cai}和textit{Y.Fu},数学。结构。计算。科学。21,第5号,943-996(2011;Zbl 1223.68073) 全文: 内政部
米歇尔·布格列西;里卡多·福卡迪 用于网络安全的通道抽象。 (英语) Zbl 1191.68269号 数学。结构。计算。科学。 20,第1期,第3-44页(2010年).MSC公司:68第25页 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}和\textit{R.Focardi},数学。结构。计算。科学。20,第1号,第3-44号(2010;Zbl 1191.68269) 全文: 内政部
纳迪亚·布西;吉安路易吉·扎瓦塔罗 确定移动环境的图灵完备片段中的可达性问题。 (英语) Zbl 1191.68433号 数学。结构。计算。科学。 19,第6期,1223-1263(2009).MSC公司:68问题85 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavataro},数学。结构。计算。科学。19,第6号,1223--1263(2009;Zbl 1191.68433) 全文: 内政部
米歇尔·布格列西;达里奥·科拉佐;西尔维亚·克拉法;马其顿,达米亚诺 一种用于自由访问控制的类型系统。 (英语) 兹比尔1172.68043 数学。结构。计算。科学。 19,第4期,839-875(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,数学。结构。计算。科学。19,第4号,839--875(2009;Zbl 1172.68043) 全文: 内政部
多米尼克·拉切·温德林(Dominique Larchey-Wendling);迪迪埃·加米歇 探索直觉BI和布尔BI之间的关系:意外的嵌入。 (英语) Zbl 1169.03024号 数学。结构。计算。科学。 19,第3期,435-500(2009年).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Larchey-Wendling}和\textit{D.Galmiche},数学。结构。计算。科学。19,第3号,435--500(2009;Zbl 1169.03024) 全文: 内政部
马里奥·科普;Dezani Ciancaglini,马里亚焦拉;埃利奥·乔瓦内蒂 环境和过程移动性类型。 (英语) Zbl 1141.68046号 数学。结构。计算。科学。 18,第2期,221-290(2008).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Coppo}等人,《数学》。结构。计算。科学。18,第2号,221--290(2008;Zbl 1141.68046) 全文: 内政部
洛科·德尼古拉;米歇尔·洛雷蒂 标称结石的多重标记转换系统及其逻辑。 (英语) Zbl 1141.68047号 数学。结构。计算。科学。 18,第1期,107-143(2008).MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{M.Loreti},数学。结构。计算。科学。18,第1号,107--143(2008;Zbl 1141.68047) 全文: 内政部
巴勃罗·加拉尔达;爱德华多·博内利;阿德里亚娜·孔皮诺尼;Dezani Ciancaglini,马里亚焦拉 带通信接口的盒装环境。 (英语) Zbl 1125.68081号 数学。结构。计算。科学。 17,第4期,587-645(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Garralda}等人,《数学》。结构。计算。科学。17,编号4,587-645(2007年;Zbl 1125.68081) 全文: 内政部