托鲁加藤;Yoichi Hirashima 同步环境演算。 (英语) Zbl 07826196号 西奥。计算。科学。 994,文章ID 114479,19 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{T.Kato}和\textit{Y.Hirashima},Theor。计算。科学。994,文章ID 114479,19 p.(2024;Zbl 07826196) 全文: DOI程序
洛伦佐·卡普拉;迈克尔·科勒-布·迈耶 模块化可重写Petri网:动态分布式系统的有效模型。 (英语) Zbl 07807468号 西奥。计算。科学。 990,文章ID 114397,34 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Capra}和\textit{M.Köhler-Bußmeier},Theor。计算。科学。990,文章ID 114397,34 p.(2024;Zbl 07807468) 全文: DOI程序
罗斯·霍恩;绍克·莫;尤尔科夫,塞门 当隐私失效时,一个公式描述了一种攻击:应用的(pi)演算的完整组合验证方法。 (英语) Zbl 07685353号 西奥。计算。科学。 959,文章ID 113842,42 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{R.Horne}等人,Theor。计算。科学。959,文章ID 113842,42 p.(2023;Zbl 07685353) 全文: DOI程序
斯特凡·库恩;伊雷克·乌利多夫斯基 用可逆过程演算模拟DNA错配修复。 (英语) Zbl 1493.92020年 西奥。计算。科学。 925, 68-86 (2022).MSC公司:92C40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Kuhn}和\textit{I.Ulidowski},Theor。计算。科学。925,68-86(2022;Zbl 1493.92020) 全文: DOI程序
伏玉溪 互动论文。 (英语) Zbl 07437215号 西奥。计算。科学。 897, 114-134 (2022).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \Theor,textit{Y.Fu}。计算。科学。897114-134(2022年;Zbl 07437215) 全文: DOI程序
琳达·布罗多;罗伯托·布鲁尼;莫雷诺,法拉斯基 反应系统的过程代数方法。 (英语) Zbl 1517.68115号 西奥。计算。科学。 881,62-82(2021).MSC公司:2007年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Brodo}等人,Theor。计算。科学。881,62-82(2021;Zbl 1517.68115) 全文: DOI程序
我是宣城;皮埃尔·杰奈夫耶斯;尼尔斯·盖斯伯特;纳比尔·拉伊达 XML查询的向后类型推断。 (英语) Zbl 1440.68056号 西奥。计算。科学。 823, 69-99 (2020).MSC公司:第68页,共15页 68甲18 68磅05分 PDF格式BibTeX公司 XML格式引用 \textit{H.Im}等人,Theor。计算。科学。823、69-99(2020年;Zbl 1440.68056) 全文: DOI程序 哈尔
费德里科·阿西埃里;蝉蜕、阿加塔;弗朗西斯科·詹科(Francesco A.Genco)。 关于中间逻辑的并发计算内容。 (英语) Zbl 1433.68229号 西奥。计算。科学。 813, 375-409 (2020).MSC公司:68问题85 03B40型 03B55型 PDF格式BibTeX公司 XML格式引用 \textit{F.Aschieri}等人,Theor。计算。科学。813375--409(2020年;Zbl 1433.68229) 全文: DOI程序
博迪,恰拉;琳达·布罗多;罗伯托·布鲁尼 开放多方交互的正式方法。 (英语) 兹比尔1411.68074 西奥。计算。科学。 763, 38-65 (2019).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。763,38-65(2019年;Zbl 1411.68074) 全文: DOI程序 arXiv公司
博迪,C。;布罗多,L。;R.戈里。;列维,F。;A.贝尔尼尼。;D.赫米思。 膜计算的静态分析,提供全局发生计数信息。 (英语) Zbl 1383.92032号 西奥。计算。科学。 696, 11-51 (2017).MSC公司:第92页第42页 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。696,11--51(2017;Zbl 1383.92032) 全文: DOI程序 链接
Vivek Nigam先生;卡洛斯·奥拉特;伊莱恩·皮门特尔 关于并行系统中的次指数、聚焦和模式。 (英语) Zbl 1373.68298号 西奥。计算。科学。 693, 35-58 (2017).MSC公司:68问题85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{V.Nigam}等人,Theor。计算。科学。693、35-58(2017年;Zbl 1373.68298) 全文: DOI程序
伏玉溪 互动理论。 (英语) Zbl 1353.68082号 西奥。计算。科学。 611, 1-49 (2016).MSC公司:2005年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \Theor,textit{Y.Fu}。计算。科学。611、1--49(2016;Zbl 1353.68082) 全文: DOI程序
曼弗雷德·施密特·沙乌;大卫·萨贝尔;约阿希姆·尼伦;施温哈默(Jan Schwinghammer) 观察程序计算和翻译的正确性。 (英语) Zbl 1309.68052号 西奥。计算。科学。 577, 98-124 (2015).MSC公司:68号30 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}等人,Theor。计算。科学。577、98——124(2015年;Zbl 1309.68052) 全文: DOI程序 哈尔
萨瓦斯·科努尔;迈克尔·费希尔;斯文·舍韦 时间、概率和实时逻辑的组合模型检查。 (英语) 兹比尔1360.68591 西奥。计算。科学。 503, 61-88 (2013).MSC公司:60年第68季度 03B62号 68问题85 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur}等人,Theor。计算。科学。503、61-88(2013年;Zbl 1360.68591) 全文: DOI程序
沃博伊斯,M.F。 使用双图对嵌入在可定向曲面中的拓扑图进行建模。 (英语) Zbl 1296.05137号 西奥。计算。科学。 484, 56-69 (2013).MSC公司:05C60型 05年10月 68兰特 68单位05 PDF格式BibTeX公司 XML格式引用 \文本{M.F.Worboys},Theor。计算。科学。484、56-69(2013年;Zbl 1296.05137) 全文: DOI程序
乔治·德尔扎诺;吉安路易吉·扎瓦塔罗 生物环境中的可达性问题。 (英语) Zbl 1238.68097号 西奥。计算。科学。 431, 56-74 (2012).MSC公司:68问题85 92B05型 第92页第42页 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{G.Zavataro},Theor。计算。科学。431、56-74(2012年;Zbl 1238.68097) 全文: DOI程序
卢卡·卡德利;菲利普·加德纳 空间中的进程。 (英语) Zbl 1251.68153号 西奥。计算。科学。 431,40-55(2012年).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Cardelli}和\textit{P.Gardner},Theor。计算。科学。431、40-55(2012年;Zbl 1251.68153) 全文: DOI程序
罗伯托·巴布蒂;安德烈亚·马吉奥洛·谢蒂尼;保罗·米拉佐;乔瓦尼·帕迪尼 循环序列的空间演算。 (英语) Zbl 1230.92002年 西奥。计算。科学。 412,第43号,5976-6001(2011).MSC公司:92B05型 2012年第68季度 92-04 PDF格式BibTeX公司 XML格式引用 \textit{R.Barbuti}等人,Theor。计算。科学。412,第43号,5976--6001(2011;Zbl 1230.92002) 全文: DOI程序
马西莫·梅罗;弗朗西斯科·巴拉丁;埃利奥诺拉·西比里奥 无线系统的计时演算。 (英语) Zbl 1227.68077号 西奥。计算。科学。 412,第47号,6585-6611(2011).MSC公司:68问题85 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{M.Merro}等人,Theor。计算。科学。412,第47号,6585--6611(2011;Zbl 1227.68077) 全文: DOI程序
费尔南多·罗莎·维拉尔多;戴维·德·弗鲁托斯·埃斯克里格 具有无序数据的Petri网的可判定性和复杂性。 (英语) Zbl 1231.68172号 西奥。计算。科学。 412,第34号,4439-4451(2011). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 60年第68季度 65年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Rosa Velardo}和\textit{D.de Frutos Escrig},Theor。计算。科学。412,第34号,4439-4451(2011;Zbl 1231.68172) 全文: DOI程序
伊万·拉内斯;戴维·桑吉奥吉 无线系统演算的操作语义。 (英语) Zbl 1200.68035号 西奥。计算。科学。 411,第19号,1928-1948(2010).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}和\textit{D.Sangiorgi},Theor。计算。科学。411,第19号,1928年--1948年(2010年;Zbl 1200.68035) 全文: DOI程序
曼弗雷德·施密特·沙乌;大卫·萨贝尔 关于具有共享的高阶计算的一般上下文引理。 (英语) Zbl 1191.68165号 西奥。计算。科学。 411,第11-13号,1521-1541(2010).MSC公司:68甲18 PDF格式BibTeX公司 XML格式引用 \textit{M.Schmidt-Schauß}和\textit{D.Sabel},Theor。计算。科学。411,编号11--131521--1541(2010;Zbl 1191.68165) 全文: DOI程序
伏玉溪;陆浩 关于互动的表现力。 (英语) Zbl 1191.68436号 西奥。计算。科学。 411,第11-13号,1387-1451(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu}和\textit{H.Lu},Theor。计算。科学。411,编号11--13387--1451(2010;Zbl 1191.68436) 全文: DOI程序
Kazunori上田 LMNtal作为一种层次逻辑编程语言。 (英语) Zbl 1187.68124号 西奥。计算。科学。 410,编号46,4784-4800(2009).MSC公司:第68页第17页 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Ueda},Theor(西奥)。计算。科学。410,第46号,4784--4800(2009;Zbl 1187.68124) 全文: DOI程序
菲利波·邦奇;乌戈·蒙塔纳里 反应系统,(半)饱和语义和预升上的余代数。 (英语) Zbl 1186.68315号 西奥。计算。科学。 410,第41号,4044-4066(2009).MSC公司:68问题85 第68页第17页 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}和\textit{U.Montanari},Theor。计算。科学。410,第41号,4044--4066(2009;Zbl 1186.68315) 全文: DOI程序
罗曼·博希斯;卡图西亚帕拉米德斯 匿名性的概率和不确定性方面。 (英语) Zbl 1187.68202号 西奥。计算。科学。 410,第41号,4006-4025(2009).MSC公司:68第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Beauxis}和\textit{C.Palamidessi},Theor。计算。科学。410,第41号,4006--4025(2009;Zbl 1187.68202) 全文: DOI程序
博迪,恰拉 带和不带静态隔间的Beta粘合剂的控制流分析。 (英语) Zbl 1173.68039号 西奥。计算。科学。 410,编号33-34,3110-3127(2009).MSC公司:68问题85 92B05型 PDF格式BibTeX公司 XML格式引用 \文本{C.Bodei},Theor。计算。科学。410,编号33-34,3110--3127(2009;Zbl 1173.68039) 全文: DOI程序
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 概率移动环境。 (英语) 兹比尔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年;兹bl 1183.68400) 全文: DOI程序 链接
科西莫·拉内夫;法比安·塔里桑 蛋白质和细胞的简单演算。 (英语) Zbl 1151.68039号 西奥。计算。科学。 404,编号1-2,127-141(2008).MSC公司:68问题85 92立方37 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.Laneve}和\textit{F.Tarissau},Theor。计算。科学。404,编号1--2,127-141(2008;Zbl 1151.68039) 全文: DOI程序 哈尔
卢卡·卡德利 双功能膜系统:生物膜的相互作用。 (英语) Zbl 1151.68013号 西奥。计算。科学。 404,编号1-2,5-18(2008).MSC公司:2010年第68季度 92立方37 PDF格式BibTeX公司 XML格式引用 \文本{L.Cardelli},Theor。计算。科学。404,编号1--2,5--18(2008;Zbl 1151.68013) 全文: DOI程序
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) 全文: DOI程序 链接
马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;丹尼尔·瓦拉卡 动态web数据的安全类型。 (英语) 兹比尔1146.68014 西奥。计算。科学。 402,编号2-3,156-171(2008).MSC公司:68M10个 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dezani-Ciancaglini}等人,Theor。计算。科学。402,编号2--3,156-171(2008;Zbl 1146.68014) 全文: DOI程序 哈尔
路易斯·凯雷斯 分布式系统中并发和资源控制的空间行为类型。 (英语) Zbl 1146.68018号 西奥。计算。科学。 402,编号2-3,120-141(2008).MSC公司:64岁以下 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{L.Caires},Theor。计算。科学。402,编号2--3,120-141(2008;Zbl 1146.68018) 全文: DOI程序
阿斯兰·阿斯卡洛夫;丹尼尔·赫丁;安德烈·萨贝尔菲尔德 加密掩码流。 (英语) Zbl 1146.68032号 西奥。计算。科学。 402,编号2-3,82-101(2008).MSC公司:68第25页 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{A.Askarov}等人,Theor。计算。科学。402,编号2--3,82-101(2008;Zbl 1146.68032) 全文: DOI程序 链接
阿德里安娜·孔帕尼奥尼;埃尔萨·甘特。;菲利普·比丁格 装箱环境的基于角色的访问控制。 (英语) 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) 全文: DOI程序
伊内斯·玛格丽亚;马达莱娜·扎基 移动环境结石中的访问控制:一种比较观点。 (英语) 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) 全文: DOI程序
张瑜 加密逻辑关系。 (英语) Zbl 1137.68024号 西奥。计算。科学。 394,编号1-2,39-63(2008).MSC公司:68第25页 03B40型 03B70号 03G30型 18立方厘米 94A60型 PDF格式BibTeX公司 XML格式引用 \文本{Y.Zhang},Theor。计算。科学。394,编号1--2,39-63(2008;Zbl 1137.68024) 全文: DOI程序
塞巴斯蒂安·布赖斯;乌韦州内斯特曼 开放互模拟,再次访问。 (英语) Zbl 1143.68050号 西奥。计算。科学。 386,第3期,236-271(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Briais}和\textit{U.Nestmann},Theor。计算。科学。386,第3号,236--271(2007;Zbl 1143.68050) 全文: DOI程序 链接
玛丽亚·格拉齐亚·维格利奥蒂;伊恩·菲利普斯;卡图西亚帕拉米德斯 关于分离的教程通过领导人选举问题导致流程计算。 (英语) 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) 全文: DOI程序 链接
康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 概率协议分析框架及其在部分秘密交换中的应用。 (英语) Zbl 1132.68026号 西奥。计算。科学。 389,第3期,512-527(2007).MSC公司:68第25页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatzikokolakis}和\textit{C.Palamidessi},Theor。计算。科学。389,第35112-527号(2007年;兹bl 1132.68026) 全文: DOI程序 链接
塞巴斯蒂安·布赖斯;乌韦州内斯特曼 协议叙述的形式语义。 (英语) Zbl 1131.68045号 西奥。计算。科学。 389,第3期,484-511(2007).MSC公司:68第25页 68问题55 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Briais}和\textit{U.Nestmann},Theor。计算。科学。389,第3号,484--511(2007;Zbl 1131.68045) 全文: DOI程序
鲍尔丹,P。;A.Braccali。;R.布鲁尼。 开放流程的语义框架。 (英语) Zbl 1132.68042号 西奥。计算。科学。 389,第3期,446-483(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Baldan}等人,Theor。计算。科学。389,第3号,446--483(2007;Zbl 1132.68042) 全文: DOI程序 链接
亚历山大·埃亨;吉田、Nobuko 通过显式代码迁移对Java RMI进行形式化。 (英语) Zbl 1132.68020号 西奥。计算。科学。 389,第3号,341-410(2007).MSC公司:68甲15 PDF格式BibTeX公司 XML格式引用 \textit{A.Ahern}和\textit{N.Yoshida},Theor。计算。科学。389,第3号,341-410(2007年;兹bl 1132.68020) 全文: DOI程序
洛科·德尼古拉;Joost-Pieter卡托恩;迭戈·拉特拉;米歇尔·洛雷蒂;梅克·马西克 模型检验移动随机逻辑。 (英语) Zbl 1159.68478号 西奥。计算。科学。 382,第1期,42-70(2007).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}等人,Theor。计算。科学。382,编号1,42--70(2007;Zbl 1159.68478) 全文: DOI程序 链接
O'Hearn,Peter W。 资源、并发和本地推理。 (英语) Zbl 1111.68023号 西奥。计算。科学。 375,编号1-3,271-307(2007).MSC公司:68甲19 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.W.O'Hearn},Theor(西奥)。计算。科学。375,编号1--3,271--307(2007;Zbl 1111.68023) 全文: DOI程序
埃希罗·苏米;本杰明·皮尔斯。 动态密封的相互模拟。 (英语) Zbl 1111.68034号 西奥。计算。科学。 375,编号1-3,169-192(2007).MSC公司:68第25页 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{E.Sumii}和\textit{B.C.Pierce},Theor。计算。科学。375,编号1--3,169-192(2007;Zbl 1111.68034) 全文: DOI程序
佛朗哥·巴巴内拉;米歇尔·布格列西;马里亚纽拉州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) 全文: DOI程序 链接
Vasco T.瓦斯科塞洛斯。;盖伊,西蒙·J。;安托尼奥·拉瓦拉 使用会话类型检查多线程函数语言的类型。 (英语) Zbl 1171.68410号 西奥。计算。科学。 368,编号1-2,64-87(2006).MSC公司:68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.T.Vasconcelos}等人,Theor。计算。科学。368,编号1--2,64-87(2006;Zbl 1171.68410) 全文: DOI程序
索菲亚·德罗索波卢;乔瓦尼·拉戈里奥;苏珊·艾森巴赫 Java和C#中动态链接的灵活模型。 (英语) Zbl 1171.68419号 西奥。计算。科学。 368,第1-2、1-29号(2006).MSC公司:68N20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Drossopoulou}等人,Theor。计算。科学。368,编号1--2,1--29(2006;Zbl 1171.68419) 全文: DOI程序
塞巴斯蒂安·南兹;克里斯·汉金 移动无线网络安全分析框架。 (英语) Zbl 1153.68322号 西奥。计算。科学。 367,编号1-2,203-227(2006).MSC公司:68M10个 68个M12 68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{S.Nanz}和\textit{C.Hankin},Theor。计算。科学。367,编号1-2203-227(2006年;Zbl 1153.68322) 全文: DOI程序
克雷默斯,C.J.F。;茅,S。;德文克,E.P。 注入式同步:身份验证层次结构的扩展。 (英语) Zbl 1153.94453号 西奥。计算。科学。 367,编号1-2,139-161(2006).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.F.Cremers}等人,Theor。计算。科学。367,编号1--2,139-161(2006;Zbl 1153.94453) 全文: DOI程序 链接
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 关于安全协议的Alice&Bob规范的语义。 (英语) Zbl 1153.94450号 西奥。计算。科学。 367,编号1-2,88-122(2006).MSC公司:94A62型 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人,Theor。计算。科学。367,编号1--2,88-122(2006;Zbl 1153.94450) 全文: DOI程序
马丁·阿巴迪;维罗尼克·科尔蒂尔 在等式理论下确定安全协议中的知识。 (英语) Zbl 1153.94339号 西奥。计算。科学。 367,第1-2、2-32号(2006).MSC公司:94A60型 94A62型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{V.Cortier},Theor。计算。科学。367,编号1--2,2--32(2006;Zbl 1153.94339) 全文: DOI程序
丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 环境演算语义的联合方法。 (英语) 兹比尔1154.68088 西奥。计算。科学。 366,编号1-2,121-143(2006).MSC公司:68问题85 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人,Theor。计算。科学。366,编号1-2121-143(2006年;Zbl 1154.68088) 全文: DOI程序
埃纳尔·布罗赫·约翰森;Owe、Olaf;Yu,Ingrid Chieh女士 Creol:分布式并发系统的一种类型安全的面向对象模型。 (英语) Zbl 1118.68031号 西奥。计算。科学。 365,第1-2期,23-66(2006).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{E.B.Johnsen}等人,Theor。计算。科学。365,编号1--2,23-66(2006;Zbl 1118.68031) 全文: DOI程序
路易斯·凯雷斯;艾蒂安·洛兹 消除空间逻辑中的量词和不确定性以实现并发。 (英语) Zbl 1097.68085号 西奥。计算。科学。 358,编号2-3,293-314(2006).MSC公司:68问题85 60年第68季度 03B70号 03B25号 03C10号机组 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{E.Lozes},Theor。计算。科学。358,编号2--3,293--314(2006;Zbl 1097.68085) 全文: DOI程序
伊恩·菲利普斯;玛丽亚·格拉齐亚·维格利奥蒂 在环境进程中进行领导人选举。 (英语) Zbl 1092.68068号 西奥。计算。科学。 356,第3期,468-494(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Phillips}和\textit{M.G.Vigliotti},Theor。计算。科学。356,第3号,468--494(2006;Zbl 1092.68068) 全文: DOI程序
管旭东 类似环境的微积分中的名称传递及其使用空间逻辑的证明。 (英语) Zbl 1092.68067号 西奥。计算。科学。 356,第3号,440-467(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{X.Guan},Theor(西奥)。计算。科学。356,第3号,440--467(2006;Zbl 1092.68067) 全文: DOI程序
米克尔·邦加德;托马斯·希尔德布兰特;Jens Chr.Godskesen。 高阶移动嵌入式资源中名称传递的CPS编码。 (英语) Zbl 1092.68064号 西奥。计算。科学。 356,第3期,422-439(2006).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bundgaard}等人,Theor。计算。科学。356,第3号,422--439(2006;Zbl 1092.68064) 全文: DOI程序
德尼古拉,罗科;丹尼尔·戈拉;罗萨里奥·普格利泽 关于克莱姆-基于计算。 (英语) Zbl 1092.68070号 西奥。计算。科学。 356,第3期,387-421(2006).MSC公司:68问题85 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.de Nicola}等人,Theor。计算。科学。356,第3号,387--421(2006;Zbl 1092.68070) 全文: DOI程序
诺里希罗·卡米德 具有时间、空间和认知算子的线性和仿射逻辑。 (英语) Zbl 1175.03039号 西奥。计算。科学。 353,编号1-3165-207(2006).MSC公司:03楼52 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{N.Kamide},Theor。计算。科学。353,编号1--3,165-207(2006;Zbl 1175.03039) 全文: DOI程序
约翰·米切尔(John C.Mitchell)。;阿吉思·拉马纳森;安德烈·斯克洛夫;瓦妮莎·提格 用于密码协议分析的概率多项式时间过程演算。 (英语) Zbl 1088.68126号 西奥。计算。科学。 353,编号1-3,118-164(2006).MSC公司:68问题85 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Mitchell}等人,Theor。计算。科学。353,编号1--3,118-164(2006;Zbl 1088.68126) 全文: DOI程序
亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 MTLA和移动UML中移动系统的规范和细化。 (英语) Zbl 1086.68016号 西奥。计算。科学。 351,第2期,184-202(2006).MSC公司:68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Knapp}等人,Theor。计算。科学。351,第2号,184--202(2006;Zbl 1086.68016) 全文: DOI程序 链接
乌戈·蒙塔纳里;马可·皮斯托雷 结构余代数和\(\pi\)-演算的最小HD-自动机。 (英语) Zbl 1077.68065号 西奥。计算。科学。 340,第3期,539-576(2005).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Montanari}和\textit{M.Pistore},Theor。计算。科学。340,第3号,539--576(2005;Zbl 1077.68065) 全文: DOI程序
菲利普·加德纳;塞尔吉奥·马菲斯 动态web数据建模。 (英语) Zbl 1077.68004号 西奥。计算。科学。 342,第1期,104-131(2005).MSC公司:68M10个 PDF格式BibTeX公司 XML格式引用 \textit{P.Gardner}和\textit{S.Maffeis},Theor。计算。科学。342,编号1,104--131(2005;Zbl 1077.68004) 全文: DOI程序 链接
罗伯托·祖尼诺;迪加诺,皮尔保罗 削弱了Dolev-Yao对手的完美加密假设。 (英语) Zbl 1068.94023号 西奥。计算。科学。 340,第1期,154-178(2005).MSC公司:94A62型 68个M12 68第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Zunino}和\textit{P.Degano},Theor。计算。科学。340,第1号,154--178(2005;Zbl 1068.94023) 全文: DOI程序
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 web服务身份验证的语义。 (英语) Zbl 1142.68587号 西奥。计算。科学。 340,第1期,102-153(2005).MSC公司:68单位35 68M10个 60年第68季度 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{K.Bhargavan}等人,Theor。计算。科学。340,编号1,102--153(2005;Zbl 1142.68587) 全文: DOI程序
杰弗里,艾伦;朱利安·拉特克 完全抽象可以测试并发对象的语义。 (英语) Zbl 1078.68107号 西奥。计算。科学。 338,编号1-3,17-63(2005). 审核人:Krassimir Atanassov(索非亚) MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Rathke},Theor。计算。科学。338,编号1--3,17-63(2005;Zbl 1078.68107) 全文: DOI程序
罗马人、格鲁亚·卡塔林;杰米·佩顿 协调模型的原则性探索。 (英语) Zbl 1080.68066号 西奥。计算。科学。 336,编号2-3,367-401(2005).MSC公司:60年第68季度 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{G.-C.罗曼}和\textit{J.佩顿},提奥。计算。科学。336,编号2--3367--401(2005;Zbl 1080.68066) 全文: DOI程序 链接
伊贡博格尔;尼库·弗鲁贾。;文森佐·格瓦西;Robert F.Stärk。 C语言语义的高级模块化定义。 (英语) Zbl 1080.68006号 西奥。计算。科学。 336,编号2-3,235-284(2005).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}等人,Theor。计算。科学。336,编号2--3,235-284(2005;Zbl 1080.68006) 全文: DOI程序
巴顿,J.C.M。 进程代数的简史。 (英语) Zbl 1080.68072号 西奥。计算。科学。 335,编号2-3131-146(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.C.M.Baeten},Theor。计算。科学。335,编号2--3,131-146(2005;Zbl 1080.68072) 全文: DOI程序 链接
休伯特·科蒙;维罗尼克·科尔蒂尔 具有一个内存集约束和加密协议的树自动机。 (英语) Zbl 1070.68066号 西奥。计算。科学。 331,第1期,143-214(2005).MSC公司:65年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{H.Comon}和\textit{V.Cortier},Theor。计算。科学。331,第1号,143--214(2005;Zbl 1070.68066) 全文: DOI程序
爱荷华州博内娃;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) 全文: DOI程序 链接
德克·帕丁森;马丁·威尔辛 移动组件的协调方法。 (英语) 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) 全文: DOI程序
弗兰兹·阿赫尔曼;奥斯卡·尼尔斯特拉斯 关于软件组成的推理演算。 (英语) Zbl 1070.68026号 西奥。计算。科学。 331,编号2-3367-396(2005).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Achermann}和\textit{O.Nierstrasz},Theor。计算。科学。331,编号2--3,367--396(2005;Zbl 1070.68026) 全文: DOI程序
Gianluigi法拉利;乌戈·蒙塔纳里;埃米利奥·托斯托 使用多态类型对\(\pi\)-演算的HD-自动机进行协代数最小化。 (英语) Zbl 1070.68102号 西奥。计算。科学。 331,编号2-3,325-365(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrari}等人,Theor。计算。科学。331,编号2--3325--365(2005;Zbl 1070.68102) 全文: DOI程序
塞尔吉奥·马菲斯;伊恩·菲利普斯 关于纯环境结石的计算强度。 (英语) 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) 全文: DOI程序
爱蒂安·洛兹 静态空间逻辑中空间连接词的消除。 (英语) Zbl 1078.68098号 西奥。计算。科学。 330,第3号,475-499(2005).MSC公司:60年第68季度 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本{É.Lozes},Theor。计算。科学。330,第3号,475--499(2005;Zbl 1078.68098) 全文: DOI程序
Atsushi Igarashi;直纪小林 像素的通用类型系统。 (英语) Zbl 1070.68105号 西奥。计算。科学。 311,编号1-3,121-163(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Igarashi}和\textit{N.Kobayashi},Theor。计算。科学。311,编号1--3,121-163(2004;Zbl 1070.68105) 全文: DOI程序
马修·轩尼诗;马西莫·梅罗;朱利安·拉特克 面向分布式系统中访问和移动性控制的行为理论。 (英语) 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) 全文: DOI程序
汤姆·乔西亚;多米尼克·达根 容错全局计算的抽象。 (英语) Zbl 1071.68010号 西奥。计算。科学。 322,第3期,567-613(2004).MSC公司:68米15 68问题85 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{T.Chothia}和\textit{D.Duggan},Theor。计算。科学。322,编号3567-613(2004年;Zbl 1071.68010) 全文: DOI程序
路易斯·凯雷斯;卢卡·卡德利 用于并发的空间逻辑。二、。 (英语) Zbl 1050.68104号 西奥。计算。科学。 322,第3期,517-565(2004).MSC公司:68问题85 03B70号 03B45号 05年3月 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{L.Caires}和\textit{L.Cardelli},Theor。计算。科学。322,第3号,517--565(2004;Zbl 1050.68104) 全文: DOI程序
纳迪亚·布西;吉安路易吉·扎瓦塔罗 关于纯移动环境中运动和限制的表现力。 (英语) Zbl 1071.68072号 西奥。计算。科学。 322,第3期,477-515(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Busi}和\textit{G.Zavataro},Theor。计算。科学。322,第3号,477--515(2004;Zbl 1071.68072) 全文: DOI程序
马丁·阿巴迪;塞德里克·Fornet 私人身份验证。 (英语) Zbl 1071.68006号 西奥。计算。科学。 322,第3期,427-476(2004).MSC公司:68个M12 68第25页 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{C.Fournet},Theor。计算。科学。322,第3号,427--476(2004;Zbl 1071.68006) 全文: DOI程序
阿兰·杰弗里;朱利安·拉特克 对具有本地名称的并发ML片段进行互模拟的理论。 (英语) Zbl 1105.68354号 西奥。计算。科学。 323,编号1-3,1-48(2004).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Jeffrey}和\textit{J.Rathke},Theor。计算。科学。323,编号1--3,1--48(2004;Zbl 1105.68354) 全文: DOI程序
大卫·J·派姆。;彼得·奥赫恩。;杨红seok 可能的世界和资源:\(\mathbf{BI}\)的语义。 (英语) Zbl 1055.03021号 西奥。计算。科学。 315,第1期,257-305(2004).MSC公司:03B70号 03楼52 03G30型 03B47号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pym}等人,Theor。计算。科学。315,第1号,257--305(2004;Zbl 1055.03021) 全文: DOI程序
米克尔·奈加德;格林·温斯克尔 并发领域理论。 (英语) Zbl 1072.68062号 西奥。计算。科学。 316,编号1-3,153-190(2004).MSC公司:68问题55 68问题85 18 C50 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Nygaard}和\textit{G.Winskel},Theor。计算。科学。316,编号1--3,153-190(2004;Zbl 1072.68062) 全文: DOI程序
威托尔德·沙拉托尼克;达尔·齐利奥(Dal Zilio,Silvano);安德鲁·戈登。;Supratik Mukhopadhyay公司;Jean-Marc Talbot 模型检查移动环境。 (英语) Zbl 1068.68081号 西奥。计算。科学。 308,编号1-3,277-331(2003).MSC公司:60年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人,Theor。计算。科学。308,编号1--3,277--331(2003;Zbl 1068.68081) 全文: DOI程序
伏玉溪;杨振荣 π演算的陶定律。 (英语) Zbl 1071.68075号 西奥。计算。科学。 308,编号1-3,55-130(2003).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{Y.Fu}和\textit{Z.Yang},Theor。计算。科学。308,编号1--3,55-130(2003;Zbl 1071.68075) 全文: DOI程序
安德鲁·戈登。;阿兰·杰弗里 键入通信协议的通信断言。 (英语) Zbl 1023.68006号 西奥。计算。科学。 300,编号1-3,379-409(2003).MSC公司:68个M12 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.D.Gordon}和\textit{A.Jeffrey},Theor。计算。科学。300,编号1--3379--409(2003;Zbl 1023.68006) 全文: DOI程序
格温·克莱恩;托比亚斯·尼普科 经过验证的字节码验证器。 (英语) Zbl 1038.68109号 西奥。计算。科学。 298,第3期,583-626(2003).MSC公司:68吨15 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{G.Klein}和\textit{T.Nipkow},Theor。计算。科学。298,第3号,583--626(2003;Zbl 1038.68109) 全文: DOI程序
马丁·阿巴迪;布鲁诺·布兰切特 非对称通信的保密类型。 (英语) Zbl 1038.68081号 西奥。计算。科学。 298,第3期,387-415(2003).MSC公司:68问题85 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Abadi}和\textit{B.Blanchet},Theor。计算。科学。298,第3号,387--415(2003;Zbl 1038.68081) 全文: DOI程序
里卡多·福卡迪;罗伯托·戈里埃里;法比奥·马蒂内利 三种身份验证属性的比较。 (英语) Zbl 1052.68033号 西奥。计算。科学。 291,第3期,285-327(2003).MSC公司:68第25页 68问题85 94A62型 PDF格式BibTeX公司 XML格式引用 \textit{R.Focardi}等人,Theor。计算。科学。291,第3号,285--327(2003;Zbl 1052.68033) 全文: DOI程序
卡梅尔·阿迪;穆拉德·德巴比;小梅,穆罕默德 电子商务协议的新逻辑。 (英语) Zbl 1008.68047号 西奥。计算。科学。 291,第3期,223-283(2003).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{K.Adi}等人,Theor。计算。科学。291,第3号,223--283(2003;Zbl 1008.68047) 全文: DOI程序
法比奥·马蒂内利 安全协议作为开放系统的分析。 (英语) Zbl 1019.68039号 西奥。计算。科学。 290,第1期,1057-1106(2003).MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \文本{F.Martinelli},Theor。计算。科学。290,第1号,1057--1106(2003;Zbl 1019.68039) 全文: DOI程序
罗伯托·布鲁尼;乌戈·蒙塔纳里 用于并发的动态连接器。 (英语) Zbl 0996.68073号 西奥。计算。科学。 281,编号1-2,131-176(2002).MSC公司:2012年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{U.Montanari},Theor。计算。科学。281,编号1--2,131--176(2002;Zbl 0996.68073) 全文: DOI程序
弗莱明·尼尔森;尼尔森、汉内·里斯;汉森、雷内·里多夫 使用流逻辑验证防火墙。 (英语) Zbl 1016.68003号 西奥。计算。科学。 283,第2期,381-418(2002).MSC公司:68M10个 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森}等人,Theor。计算。科学。283,No.2,381--418(2002;Zbl 1016.68003) 全文: DOI程序
博迪,恰拉;迪加诺,皮尔保罗;里卡多·福卡迪;科拉多·普里亚米 进程代数中身份验证的基本体。 (英语) Zbl 1050.68103号 西奥。计算。科学。 283,第2期,271-304(2002).MSC公司:68问题85 68米99 PDF格式BibTeX公司 XML格式引用 \textit{C.Bodei}等人,Theor。计算。科学。283,第2号,271--304(2002;Zbl 1050.68103) 全文: DOI程序
彼得·休厄尔 从重写规则到互模拟同余。 (英语) Zbl 0992.68122号 西奥。计算。科学。 274,编号1-2,183-230(2002).MSC公司:2012年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \提奥,textit{P.Sewell}。计算。科学。274,编号1--2,183-230(2002;Zbl 0992.68122) 全文: DOI程序
J.瑞利。;轩尼诗,M。 分布式进程和位置故障。 (英语) Zbl 0989.68007号 西奥。计算。科学。 266,第1-2号,693-735(2001).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{J.Riely}和\textit{M.Hennessy},Theor。计算。科学。266,编号1-2-693-735(2001年;兹bl 0989.68007) 全文: DOI程序