保罗·波托尼;丹尼尔·戈拉;斯特凡诺·卡桑吉安;安娜·拉布拉 对模态/时间海廷逻辑和过程中的非决定论的一种理论方法。 (英语) Zbl 1386.68107号 数学。结构。计算。科学。 28,第4期,508-532(2018).MSC公司:68问题85 03B44号 03B45号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bottoni}等人,《数学》。结构。计算。科学。28,第4号,508--532(2018;Zbl 1386.68107) 全文: 内政部
琳达·布罗多 关于编码移动环境的\(\pi\)-演算的表达性。 (英语) Zbl 1387.68164号 数学。结构。计算。科学。 28,第2期,202-240(2018).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo},数学。结构。计算。科学。28,第2号,202--240(2018;Zbl 1387.68164) 全文: 内政部
邓玉欣;罗伯特·西蒙斯。;伊利亚诺·塞尔维萨托 线性逻辑和过程代数中的相关推理方法。 (英语) Zbl 1361.68166号 数学。结构。计算。科学。 26,第5期,868-906(2016).MSC公司:68问题85 03楼52 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}等人,数学。结构。计算。科学。26,第5号,868--906(2016;Zbl 1361.68166) 全文: 内政部
迪米特里奥斯·库扎帕斯;吉田、Nobuko;胡雷蒙德;本田、高黑 异步事件会话语义。 (英语) Zbl 1361.68170号 数学。结构。计算。科学。 26,第2期,303-364(2016).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kouzapas}等人,数学。结构。计算。科学。26,第2号,303--364(2016;Zbl 1361.68170) 全文: 内政部
保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 无法异步观察并发。 (英语) Zbl 1361.68158号 数学。结构。计算。科学。 25,第4期,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;Zbl 1342.68225) 全文: 内政部
尼古拉斯·欧里;戈登·普洛金 通过随机多级多集重写进行多级建模。 (英语) Zbl 1318.92015年 数学。结构。计算。科学。 23,第2期,471-503(2013).MSC公司:92立方厘米 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Oury}和\textit{G.Plotkin},数学。结构。计算。科学。23,第2号,471--503(2013;Zbl 1318.92015) 全文: 内政部
卢卡·卡德利 双域DNA链置换。 (英语) Zbl 1271.68105号 数学。结构。计算。科学。 23,第2期,247-271(2013).MSC公司:2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli},数学。结构。计算。科学。23,第2号,247--271(2013;Zbl 1271.68105) 全文: 内政部
阿纳·阿尔梅达·马托斯;简·塞德奎斯特 分布式移动代码的非隔离。 (英语) Zbl 1252.68071号 数学。结构。计算。科学。 21,第6期,1111-1181(2011).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Almeida-Matos}和\textit{J.Cederquist},数学。结构。计算。科学。21,第6号,1111--1181(2011;Zbl 1252.68071) 全文: 内政部
卢卡·卡德利;吉安路易吉·扎瓦塔罗 生物化学基础形式的图灵普遍性。 (英语) Zbl 1191.68301号 数学。结构。计算。科学。 20,第1期,45-73(2010).MSC公司:2005年第68季度 2010年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{G.Zavattaro},数学。结构。计算。科学。20,编号1,45--73(2010;Zbl 1191.68301) 全文: 内政部
纳迪亚·布西;吉安路易吉·扎瓦塔罗 确定移动环境的图灵完备片段中的可达性问题。 (英语) 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) 全文: 内政部
米歇尔·布格列西;达里奥·科拉佐;西尔维亚·克拉法;马其顿,达米亚诺 一种用于自由访问控制的类型系统。 (英语) Zbl 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) 全文: 内政部
约阿希姆·德·拉塔利拉德 Curry-style类型同构和游戏语义。 (英语) Zbl 1160.03008号 数学。结构。计算。科学。 18,第4期,647-692(2008). 审核人:弗拉基米尔·科门丹斯基(圣安德鲁斯) MSC公司:03B70号 03B40型 68甲18 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.de Lataillade},数学。结构。计算。科学。18,第4号,647--692(2008;Zbl 1160.03008) 全文: 内政部
马里奥·科普;马里亚纽拉州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) 全文: 内政部
卢卡·卡德利;约翰·米切尔(John C.Mitchell)。 记录操作。 (英语) Zbl 0727.68020号 数学。结构。计算。科学。 1,第1期,第3-48页(1991年). 审核人:M.K(布尔诺) MSC公司:第68页第19页 03B70号 68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{J.C.Mitchell},数学。结构。计算。科学。1号、1号、3号——48(1991年;Zbl 0727.68020) 全文: 内政部