米歇尔·帕斯夸;马里诺·米库兰 AbU的行为等效性:验证分布式物联网系统的安全性。 (英语) Zbl 07833682号 西奥。计算。科学。 998,文章ID 114537,22 p.(2024).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Pasqua}和\textit{M.Miculan},Theor。计算。科学。998,文章ID 114537,22 p.(2024;Zbl 07833682) 全文: DOI程序
米歇尔·帕斯夸;马里诺·米库兰 AbU:一种基于属性交互的分布式事件驱动编程演算。 (英语) 兹伯利07681293 西奥。计算。科学。 958,文章ID 113841,32 p.(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Pasqua}和\textit{M.Miculan},Theor。计算。科学。958,文章ID 113841,32 p.(2023;Zbl 07681293) 全文: DOI程序
徐、熊;王淑玲;詹伯华;金、项羽;Jean-Pierre塔宾;詹乃军 通过结合AADL和Simulink/Stateflow,对网络物理系统进行统一的图形联合建模、分析和验证。 (英语) Zbl 07467466号 西奥。计算。科学。 903, 1-25 (2022).MSC公司:60年第68季度 68问题55 68问题85 93立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{X.Xu}等人,Theor。计算。科学。903,1--25(2022;Zbl 07467466) 全文: DOI程序
迈克尔·克里斯滕森;约瑟夫·麦克马汉;劳顿·尼科尔斯;贾里德·罗埃什;蒂莫西·舍伍德;本·哈德科夫 通过完整性类型和经验证的组件实现安全功能系统。 (英语) Zbl 1477.68030号 西奥。计算。科学。 851, 39-61 (2021).MSC公司:2007年7月68日 68甲18 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Christensen}等人,Theor。计算。科学。851,39-61(2021;Zbl 1477.68030) 全文: DOI程序
劳拉,博泽利;阿尼埃洛·穆拉诺;朱塞佩·佩雷利;洛雷达纳·索伦蒂诺 分层成本平价游戏。 (英语) Zbl 1464.68232号 西奥。计算。科学。 847, 147-174 (2020).MSC公司:68问题85 65年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,Theor。计算。科学。847147-174(2020年;Zbl 1464.68232) 全文: DOI程序 链接
乌里·法伦贝格;Legay、Axel;卡琳·夸斯 用定量游戏计算分支距离。 (英语) Zbl 1464.68239号 西奥。计算。科学。 847, 134-146 (2020).MSC公司:68问题85 65年第68季度 60年第68季度 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,Theor。计算。科学。847134-146(2020年;Zbl 1464.68239) 全文: DOI程序
托马斯·埃尔哈德;吉恩·克里文;蒋莹 分支过程的微积分。 (英语) Zbl 1436.68212号 西奥。计算。科学。 807, 169-184 (2020).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ehrhard}等人,Theor。计算。科学。807169--184(2020年;Zbl 1436.68212) 全文: DOI程序 哈尔
吉安卡洛·拉斐尔;西蒙娜·隆博(Simona E.Rombo)。;菲利波·乌特罗 DNA组合信息和表观基因组学:真核生物基因组中染色质组织和核小体占据的案例。 (英语) Zbl 1432.92062号 西奥。计算。科学。 792, 117-130 (2019).MSC公司:92D10型 92-08 PDF格式BibTeX公司 XML格式引用 \textit{R.Giancarlo}等人,Theor。计算。科学。792117-130(2019年;Zbl 1432.92062) 全文: DOI程序 链接
田聪;段振华 使用交替投影时序逻辑对开放系统进行模型检查。 (英语) Zbl 1423.68293号 西奥。计算。科学。 774,65-81(2019).MSC公司:60年第68季度 03B44号 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}和\textit{Z.Duan},Theor。计算。科学。774,65-81(2019年;Zbl 1423.68293) 全文: DOI程序
伊斯兰,马里兰州Ariful;兰斯·克莱维兰;弗拉维奥·芬顿。;拉杜·格罗苏;保罗·L·琼斯。;斯科特·斯莫尔卡。 心脏交替多参数分岔分析的概率可达性。 (英语) Zbl 1427.92054号 西奥。计算。科学。 765, 158-169 (2019).MSC公司:92 C55 34C23型 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{Md.A.Islam}等人,Theor。计算。科学。765158-169(2019年;Zbl 1427.92054) 全文: DOI程序
Shin,Seung Woo先生;克里斯·塔楚克;埃里克·温弗里 验证化学反应网络的实现:一种途径分解方法。 (英语) Zbl 1423.68292号 西奥。计算。科学。 765, 67-96 (2019).MSC公司:60年第68季度 2005年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{S.W.Shin}等人,Theor。计算。科学。765,67-96(2019年;Zbl 1423.68292) 全文: DOI程序 arXiv公司
罗伯特·约翰逊;Dong,Qing(清·东);埃里克·温弗里 验证化学反应网络的实现:一种相互模拟方法。 (英语) Zbl 1423.68286号 西奥。计算。科学。 765, 3-46 (2019).MSC公司:60年第68季度 65年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Johnson}等人,Theor。计算。科学。765,3-46(2019年;Zbl 1423.68286) 全文: DOI程序
佩德罗·里贝罗;安娜·卡瓦尔坎蒂 通过UTP为CSP提供天使流程。 (英语) Zbl 1410.68236号 西奥。计算。科学。 756, 19-63 (2019).MSC公司:60年第68季度 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Ribeiro}和\textit{A.Cavalcanti},Theor。计算。科学。756、19-63(2019年;Zbl 1410.68236) 全文: DOI程序 链接
内维斯、雷纳托;路易斯·巴博萨。 混合自动机的语言和模型:联合大脑的观点。 (英语) Zbl 1400.68112号 西奥。计算。科学。 744, 113-142 (2018).MSC公司:65年第68季度 18B20型 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Neves}和\textit{L.S.Barbosa},Theor。计算。科学。744113--142(2018年;Zbl 1400.68112) 全文: DOI程序 链接
沃尔特·古特曼 最小生成树问题的代数框架。 (英语) Zbl 1401.68246号 西奥。计算。科学。 744, 37-55 (2018).MSC公司:68兰特 05C22号 05C85号 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{W.Guttmann},Theor。计算。科学。744,37-55(2018;Zbl 1401.68246) 全文: DOI程序
彼得·莫塞斯(Peter D.Mosses)。 CoFI与Don Sannella合作。 (英语) Zbl 1397.68124号 西奥。计算。科学。 741,44-47(2018).MSC公司:68问题65 68-03 PDF格式BibTeX公司 XML格式引用 \文本{P.D.Mosses},Theor。计算。科学。741,44-47(2018;Zbl 1397.68124) 全文: DOI程序
彼得·霍夫曼;帕特里克·托茨克 重新访问了单计数器网络的跟踪包含。 (英语) Zbl 1393.68118号 西奥。计算。科学。 735, 50-63 (2018).MSC公司:68问题85 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hofman}和\textit{P.Totzke},Theor。计算。科学。735,50-63(2018;Zbl 1393.68118) 全文: DOI程序 arXiv公司
陈韬略;韩婷婷;曹永志 用于计算模糊过渡系统距离的多项式时间算法。 (英语) Zbl 1390.68464号 西奥。计算。科学。 727, 24-36 (2018).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Theor。计算。科学。727,24-36(2018;Zbl 1390.68464) 全文: DOI程序 arXiv公司 链接
费伦茨·巴伊托;沃尔特·福格勒 ACTL用于模态接口自动机。 (英语) Zbl 1373.68296号 西奥。计算。科学。 693,13-34(2017).MSC公司:68问题85 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler},Theor。计算。科学。693、13-34(2017年;Zbl 1373.68296) 全文: DOI程序
克雷斯皮·雷吉齐(Crespi Reghizzi)、斯特凡诺(Stefano);圣彼得罗,皮耶路易吉 计数器、Petri网和合意计算。 (英语) Zbl 1359.68162号 西奥。计算。科学。 664, 91-116 (2017).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Crespi Reghizzi}和\textit{P.San Pietro},Theor。计算。科学。664,91-116(2017年;兹bl 1359.68162) 全文: DOI程序 链接
马克·蒂默;Joost-Pieter卡托恩;范德波尔(Jaco van de Pol);玛丽·斯托琳加 马尔可夫自动机的汇流约简。 (英语) Zbl 1356.68136号 西奥。计算。科学。 655,B部分,193-219(2016).MSC公司:65年第68季度 68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Timmer}等人,Theor。计算。科学。655,B部分,193-219(2016;兹bl 1356.68136) 全文: DOI程序
罗西,马蒂奥;迪诺·曼德里奥利;安杰洛·莫岑蒂;卢卡·费鲁奇 基于微观和宏观步骤的实时系统的时序逻辑:基础和应用。 (英语) 兹比尔1348.68149 西奥。计算。科学。 643, 38-64 (2016).MSC公司:60年第68季度 03B44号 03时10分 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Rossi}等人,Theor。计算。科学。643、38--64(2016年;Zbl 1348.68149) 全文: DOI程序 链接
贾森·雅斯科尔卡;里达·凯德里 根据对通信潜力的分析缓解隐蔽通道。 (英语) Zbl 1348.68164号 西奥。计算。科学。 643, 1-37 (2016).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Jaskolka}和\textit{R.Khedri},Theor。计算。科学。643,1--37(2016;Zbl 1348.68164) 全文: DOI程序
费伦茨·巴伊托;芬德里奇、萨沙;杰拉尔德·吕特根;沃尔特·福格勒 非确定性模态接口。 (英语) Zbl 1345.68231号 西奥。计算。科学。 642, 24-53 (2016).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}等人,Theor。计算。科学。642、24-53(2016年;Zbl 1345.68231) 全文: DOI程序
马西莫·贝内雷切蒂;阿德里亚诺·佩隆 时间递归状态机:表达性和复杂性。 (英语) Zbl 1338.68070号 西奥。计算。科学。 625, 85-124 (2016).MSC公司:2005年第68季度 2017年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}和\textit{A.Peron},Theor。计算。科学。625、85-124(2016年;Zbl 1338.68070) 全文: DOI程序
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 adhoc网络协议的时间敏感模型的参数化验证。 (英语) Zbl 1332.68137号 西奥。计算。科学。 612, 1-22 (2016).MSC公司:60年第68季度 68个M12 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Theor。计算。科学。612,1--22(2016;Zbl 1332.68137) 全文: DOI程序
菲利波·邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西 用匕首杀死ε:代数标记结构系统的联合代数研究。 (英语) Zbl 1330.68194号 西奥。计算。科学。 604, 102-126 (2015).MSC公司:68问题85 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,Theor。计算。科学。604102-126(2015年;Zbl 1330.68194) 全文: DOI程序 arXiv公司
费伦茨·巴伊托;沃尔特·福格勒 接口自动机中的错误修剪。 (英语) Zbl 1328.68136号 西奥。计算。科学。 597,18-39(2015).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bujtor}和\textit{W.Vogler},Theor。计算。科学。597、18-39(2015年;Zbl 1328.68136) 全文: DOI程序
拉希德·热比哈;阿纳尔多·莫拉。;纳迪尔·马特林格 非线性混合系统的不变量生成。 (英语) 兹比尔1328.68130 西奥。计算。科学。 594, 180-200 (2015).MSC公司:60年第68季度 15A06号 PDF格式BibTeX公司 XML格式引用 \textit{R.Rebiha}等人,Theor。计算。科学。594180-200(2015年;Zbl 1328.68130) 全文: DOI程序
乔瓦尼·帕迪尼;保罗·米拉佐;安德烈亚·马吉奥洛·谢蒂尼 生化途径中的成分鉴定。 (英语) Zbl 1327.68163号 西奥。计算。科学。 587, 104-124 (2015).MSC公司:60年第68季度 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{G.Pardini}等人,Theor。计算。科学。587104-124(2015年;Zbl 1327.68163) 全文: DOI程序
阿尔贝托·卡萨格兰德;卡拉广场 解开生物系统。 (英语) Zbl 1328.92027号 西奥。计算。科学。 587, 26-48 (2015).MSC公司:第92页第42页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Casagrande}和\textit{C.Piazza},提奥。计算。科学。587,26-48(2015;Zbl 1328.92027) 全文: DOI程序 链接
泰勒·T·约翰逊。;萨扬·密特拉 安全稳定的分布式多径蜂窝流。 (英语) Zbl 1311.90031号 西奥。计算。科学。 579, 9-32 (2015).MSC公司:90B20型 64岁以下 68T40型 93C83号 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{T.T.Johnson}和\textit{S.Mitra},Theor。计算。科学。579,9--32(2015;Zbl 1311.90031) 全文: DOI程序 arXiv公司
张文辉 有界语义。 (英语) Zbl 1317.68105号 西奥。计算。科学。 564, 1-29 (2015).MSC公司:68问题55 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Zhang},Theor(西奥)。计算。科学。564,1--29(2015;Zbl 1317.68105) 全文: DOI程序
约阿金·比格;莫滕·雅各布森;拉塞·雅各布森;约根森、肯尼思·伊尔克;米凯尔·哈克杰·默勒;吉·斯尔巴 TCTL提供从时间弧Petri网到时间自动机网络的转换。 (英语) Zbl 1359.68216号 西奥。计算。科学。 537, 3-28 (2014).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Byg}等人,Theor。计算。科学。537,3-28(2014年;兹bl 1359.68216) 全文: DOI程序
芭蕾舞演员Bolinches,A。;Cosme-Llópez,E。;Esteban-Romero,R。 基于最终非确定性自动机语言的描述。 (英语) Zbl 1359.68202号 西奥。计算。科学。 536, 1-20 (2014).MSC公司:70年第68季度 18B20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Ballester-Bolinches}等人,Theor。计算。科学。536,1--20(2014;Zbl 1359.68202) 全文: DOI程序
悉达哈·克里希纳;安卡·穆斯科尔 具有非循环通信结构的Zielonka自动机的二次构造。 (英语) Zbl 1360.68566号 西奥。计算。科学。 503, 109-114 (2013).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Krishna}和\textit{A.Muscholl},Theor。计算。科学。503109--114(2013;Zbl 1360.68566) 全文: DOI程序
萨瓦斯·科努尔;迈克尔·费舍尔;斯文·舍韦 时间、概率和实时逻辑的组合模型检查。 (英语) Zbl 1360.68591号 西奥。计算。科学。 503, 61-88 (2013).MSC公司:60年第68季度 03B62号 68问题85 68T42型 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur}等人,Theor。计算。科学。503、61-88(2013年;Zbl 1360.68591) 全文: DOI程序
文森特·雪瓦尔;维罗尼克·科尔蒂尔;斯特凡尼德劳恩 使用约束求解确定基于等效的特性。 (英语) Zbl 1294.68111号 西奥。计算。科学。 492,1-39(2013).MSC公司:68问题85 68个M12 60年第68季度 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{V.Cheval}等人,Theor。计算。科学。492,1--39(2013年;Zbl 1294.68111) 全文: DOI程序
乔塞普·卡莫纳;码头Kleijn 多组件环境中的兼容性。 (英语) Zbl 1292.68107号 西奥。计算。科学。 484,1-15(2013).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Carmona}和\textit{J.Kleijn},Theor。计算。科学。484,1--15(2013;Zbl 1292.68107) 全文: DOI程序
Bérard,B。;卡塞兹,F。;哈达德,S。;石灰,D。;O.H.罗克斯。 时间Petri网的表达能力。 (英语) Zbl 1259.68141号 西奥。计算。科学。 474, 1-20 (2013).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人,Theor。计算。科学。474,1--20(2013;Zbl 1259.68141) 全文: DOI程序
崔永里;穆罕默德·古达。 一种基于状态的传感器协议模型。 (英语) Zbl 1253.68054号 西奥。计算。科学。 458, 61-75 (2012).MSC公司:68个M12 64岁以下 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.-r.Choi}和\textit{M.G.Gouda},Theor。计算。科学。458、61-75(2012年;Zbl 1253.68054) 全文: DOI程序
巴勃罗·卡斯特罗。;托马斯·S·E·迈鲍姆。 封装道义和分支时间规范。 (英语) Zbl 1279.68200号 西奥。计算。科学。 455, 98-122 (2012).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.F.Castro}和\textit{T.S.E.Maibaum},Theor。计算。科学。455,98-122(2012;Zbl 1279.68200) 全文: DOI程序
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 使用多奇异混合Petri网对混合动态系统进行建模和验证。 (英语) Zbl 1262.68139号 西奥。计算。科学。 446, 48-74 (2012).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Theor。计算。科学。446、48--74(2012;Zbl 1262.68139) 全文: DOI程序
莫里斯·比克。;码头Kleijn 向量团队自动机。 (英语) Zbl 1252.68205号 西奥。计算。科学。 429, 21-29 (2012). 审核人:Maciej Koutny(泰恩河畔纽卡斯尔) MSC公司:68问题85 第68季度10 65年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}和\textit{J.Kleijn},Theor。计算。科学。429,21-29(2012;Zbl 1252.68205) 全文: DOI程序
法拉纳克·海达尔;朱利安·施马耳茨;Vaandrager,Frits公司 无线传感器网络时钟同步协议分析。 (英语) Zbl 1307.68009号 西奥。计算。科学。 413,第1期,87-105(2012).MSC公司:64岁以下 68米10 68个M12 65年第68季度 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Heidarian}等人,Theor。计算。科学。413,第1号,87--105(2012;Zbl 1307.68009) 全文: DOI程序
Joost-Pieter卡托恩;范德波尔(Jaco van de Pol);玛丽·斯托琳加;马克·蒂默 概率自动机数据的线性过程代数格式。 (英语) Zbl 1283.68246号 西奥。计算。科学。 413,第1期,36-57(2012). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.-P.Katoen}等人,Theor。计算。科学。413,编号1,36-57(2012;Zbl 1283.68246) 全文: DOI程序 链接
塞巴斯蒂安·达尼西奇;理查德·W·巴拉克劳(Richard W.Barraclough)。;马克·哈曼;约翰·霍罗伊德。;亲吻,阿尔科斯;迈克尔·劳伦斯。 控制依赖的统一理论及其在任意程序结构中的应用。 (英语) Zbl 1231.68179号 西奥。计算。科学。 412,第49号,6809-6842(2011).MSC公司:68兰特 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Danicic}等人,Theor。计算。科学。412,第49号,6809--6842(2011;Zbl 1231.68179) 全文: DOI程序 链接
尼古拉·鲍德鲁 异步自动机的合成。 (英语) Zbl 1216.68186号 西奥。计算。科学。 412,第29号,3701-3716(2011).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{N.Baudru},Theor。计算。科学。412,第29号,3701--3716(2011;Zbl 1216.68186) 全文: DOI程序
塞萨尔·多明格斯;朱利奥·鲁比奥 Coq中形式化的双复数的有效同源性。 (英语) Zbl 1207.68211号 西奥。计算。科学。 412,第11期,962-970(2011).MSC公司:68问题65 55单元15 68吨15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.Domínguez}和\textit{J.Rubio},Theor。计算。科学。412,第11号,962--970(2011;Zbl 1207.68211) 全文: DOI程序
弗里斯科,皮尔路易吉;奥斯卡·H·伊巴拉。 由连接组成的P/T系统所接受的数字集。 (英语) Zbl 1234.68297号 西奥。计算。科学。 411,第44-46号,3905-3916(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Frisco}和\textit{O.H.Ibarra},Theor。计算。科学。411,编号44-46,3905-3916(2010;Zbl 1234.68297) 全文: DOI程序
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;安吉洛·特洛伊娜 概率时间自动机的弱互模拟。 (英语) Zbl 1208.68160号 西奥。计算。科学。 411,编号50,4291-4322(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Theor。计算。科学。411,第50号,4291--4322(2010;Zbl 1208.68160) 全文: DOI程序
弗赖夫德斯(Rásiņsh) 确定性有限自动机中的非结构化量。 (英语) Zbl 1206.68155号 西奥。计算。科学。 411,编号38-39,3436-3443(2010).MSC公司:68问题30 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.Freivalds},Theor。计算。科学。411,编号38-39,3436-3443(2010;Zbl 1206.68155) 全文: DOI程序
尼古拉·卡纳塔(编辑);伊曼纽拉·梅雷利(编辑);伊雷克·乌利多夫斯基(编辑) 特刊:生物系统中的混合自动机和振荡行为。2008年7月12日在冰岛雷克雅未克举行的第二届从生物学到并发和后台研讨会(FBTC 2008)上,根据演讲内容选择论文。 (英语) Zbl 1198.68015号 西奥。计算。科学。411,第20号,1995-2077(2010)。 MSC公司:68-06 92-06 65年第68季度 68问题85 第92页第42页 00B25型 PDF格式BibTeX公司 XML格式
菲利普·高彻 高维自动机中标记的组合数学。 (英语) Zbl 1191.68384号 西奥。计算。科学。 411,第11-13号,1452-1483(2010).MSC公司:65年第68季度 68卢比 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{P.Gaucher},Theor。计算。科学。411,编号11-131452-1483(2010年;兹bl 1191.68384) 全文: DOI程序 arXiv公司
何继峰;你好,托尼 CSP是CCS的收回。 (英语) Zbl 1191.68439号 西奥。计算。科学。 411,第11-13号,1311-1337(2010).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.He}和\textit{T.Hoare},Theor。计算。科学。411,编号11--131311--1337(2010;Zbl 1191.68439) 全文: DOI程序
约翰娜·霍格伯格;安德烈亚斯·马莱蒂;阿美,乔纳森 树自动机的前后互模拟最小化。 (英语) Zbl 1194.68139号 西奥。计算。科学。 410,第37号,3539-3552(2009).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Högberg}等人,Theor。计算。科学。410,编号37,3539--3552(2009;Zbl 1194.68139) 全文: DOI程序
玛尔塔·奎亚特科夫斯卡;格钦·诺曼;大卫·帕克;玛丽亚·格拉齐亚·维格利奥蒂 概率移动环境。 (英语) 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) 全文: DOI程序 链接
弗朗西斯科·西罗洛;乔瓦尼·桑宾 Finitary形式拓扑和Stone表示定理。 (英语) Zbl 1187.54010号 西奥。计算。科学。 405,编号1-2,11-23(2008).MSC公司:54A99号 65楼03号 PDF格式BibTeX公司 XML格式引用 \textit{F.Ciraulo}和\textit{G.Sambin},Theor。计算。科学。405,编号1--2,11--23(2008;Zbl 1187.54010) 全文: DOI程序
萨德克·本萨勒姆;多龙·贝利德;曲洪阳;斯塔夫罗斯·特里帕基斯 并发定时系统路径条件的自动生成。 (英语) 兹比尔1293.68201 西奥。计算。科学。 404,第3号,275-292(2008).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bensalem}等人,Theor。计算。科学。404,第3号,275--292(2008;Zbl 1293.68201) 全文: DOI程序
贝拉德,B。;卡塞兹,F。;哈达德,S。;石灰,D。;O.H.罗克斯。 时间自动机何时弱时间与时间Petri网相似? (英语) Zbl 1158.68029号 西奥。计算。科学。 403,编号2-3,202-220(2008).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.贝拉德}等人,Theor。计算。科学。403,编号2--3,202-220(2008;Zbl 1158.68029) 全文: DOI程序
彼得·巴赫霍尔茨 加权自动机的双模拟关系。 (英语) Zbl 1136.68032号 西奥。计算。科学。 393,编号1-3,109-123(2008).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{P.Buchholz},Theor。计算。科学。393,编号1-3109-123(2008;兹bl 1136.68032) 全文: DOI程序
罗马人、格鲁亚·卡塔林;克里斯汀·朱利安;杰米·佩顿 在Context UNITY中建模自适应行为。 (英语) Zbl 1116.68040号 西奥。计算。科学。 376,第3期,185-204(2007).MSC公司:第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{G.-C.Roman}等人,Theor。计算。科学。376,第3号,185--204(2007;Zbl 1116.68040) 全文: DOI程序 链接
C.B.琼斯。 安全地分裂原子。 (英语) Zbl 1111.68022号 西奥。计算。科学。 375,编号1-3,109-119(2007).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \文本{C.B.Jones},Theor。计算。科学。375,编号1--3,109-119(2007;Zbl 1111.68022) 全文: DOI程序
邓玉欣;卡图西亚帕拉米德斯 概率有限状态行为的公理化。 (英语) Zbl 1111.68081号 西奥。计算。科学。 373,编号1-2,92-114(2007).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{C.Palamidessi},Theor。计算。科学。373,编号1--2,92-114(2007;Zbl 1111.68081) 全文: DOI程序
范·格拉贝克,R.J。 “关于高维自动机的表现力”勘误表。 (英语) 兹比尔1171.68582 西奥。计算。科学。 368,第1-2号,168-194(2006).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{R.J.van Glabbeek},Theor。计算。科学。368,编号1--2,168-194(2006;Zbl 1171.68582) 全文: DOI程序 链接
斯特凡尼德劳恩 AGh的不可判定结果。 (英语) Zbl 1171.94344号 西奥。计算。科学。 368,编号1-2,161-167(2006).MSC公司:94A60型 03天35分 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Delaune},Theor。计算。科学。368,编号1--2,161-167(2006;Zbl 1171.94344) 全文: DOI程序
弗雷德里克·巴特勒;伊利亚诺·塞维萨托;亚伦·D·贾加德。;安德烈·斯克洛夫;克里斯托弗·沃尔斯塔德 Kerberos 5的形式化分析。 (英语) Zbl 1153.94448号 西奥。计算。科学。 367,编号1-2,57-87(2006).MSC公司:94A62型 PDF格式BibTeX公司 XML格式引用 \textit{F.Butler}等人,Theor。计算。科学。367,编号1--2,57-87(2006;Zbl 1153.94448) 全文: DOI程序
丹尼尔·豪斯曼;蒂尔·莫萨科夫斯基;卢茨·施罗德 环境演算语义的联合方法。 (英语) Zbl 1154.68088号 西奥。计算。科学。 366,编号1-2121-143(2006).MSC公司:68问题85 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Hausmann}等人,Theor。计算。科学。366,编号1--2,121-143(2006;Zbl 1154.68088) 全文: DOI程序
马丁·劳恩 互斥模型中的死锁和双同伦。 (英语) Zbl 1110.68089号 西奥。计算。科学。 365,第3期,247-257(2006). 审核人:乔纳森·霍奇森(费城) MSC公司:68问题85 65年第68季度 55页99 PDF格式BibTeX公司 XML格式引用 \文本{M.Raußen},Theor。计算。科学。365,第3号,247--257(2006;Zbl 1110.68089) 全文: DOI程序 链接
米歇尔·博雷尔;法比奥·加杜奇 作为形式幂级数的过程:对指称语义的一种共生产方法。 (英语) Zbl 1097.68070号 西奥。计算。科学。 360,编号1-3,440-458(2006).MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Boreale}和\textit{F.Gadducci},Theor。计算。科学。360,编号1--3440-458(2006;Zbl 1097.68070) 全文: DOI程序
大卫·弗里根斯;罗伯特·戈德布拉特 最后多项式余代数的模态证明理论。 (英语) Zbl 1097.68091号 西奥。计算。科学。 360,第1-3、1-22号(2006).MSC公司:68问题85 03B45号 03财年03 03G30型 18 C50 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Friggens}和\textit{R.Goldblatt},Theor。计算。科学。360,编号1--3,1--22(2006;Zbl 1097.68091) 全文: DOI程序
博利格,贝内迪克特;马丁·勒克 消息传递自动机在表达上等价于EMSO逻辑。 (英语) Zbl 1097.68082号 西奥。计算。科学。 358,编号2-3,150-172(2006).MSC公司:68问题85 03B15号机组 05年3月 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}和\textit{M.Leucker},Theor。计算。科学。358,编号2--3,150-172(2006;Zbl 1097.68082) 全文: DOI程序
休伯特·加拉维;温德林·塞维 进程代数规范的状态空间约简。 (英语) Zbl 1086.68091号 西奥。计算。科学。 351,第2131-145号(2006年).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}和\textit{W.Serwe},Theor。计算。科学。351,第2号,131--145(2006;Zbl 1086.68091) 全文: 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年;兹bl 1077.68065) 全文: 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程序
Dimitar P.Guelev。;洪丹凡 关于带迭代的持续时间演算的完备性和可判定性。 (英语) Zbl 1108.68074号 西奥。计算。科学。 337,编号1-3,278-304(2005).MSC公司:60年第68季度 03B25号 第68季度10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{D.Van Hung},Theor。计算。科学。337,编号1-3278-304(2005年;Zbl 1108.68074) 全文: DOI程序
安东尼奥·布埃诺;瓦莱罗,瓦伦丁;费尔南多·库亚特罗 \(\text的翻译{TPAL}_{p} \)成为一类时间概率Petri网。 (英语) Zbl 1068.68092号 西奥。计算。科学。 338,编号1-3,350-392(2005).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bueno}等人,Theor。计算。科学。338,编号1--3,350-392(2005;Zbl 1068.68092) 全文: DOI程序
理查德·迈尔 无上下文过程的弱双相似性和正则性是EXPTIME-hard。 (英语) Zbl 1078.68109号 西奥。计算。科学。 330,第3号,553-575(2005).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Mayr},Theor(西奥)。计算。科学。330,第3号,553--575(2005;Zbl 1078.68109) 全文: DOI程序
卢卡·埃特罗;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克 CCS与轩尼诗的合并没有有限等式公理化。 (英语) Zbl 1078.68102号 西奥。计算。科学。 330,第3期,377-405(2005).MSC公司:68问题85 08A70号 03B45号 03C05号机组 第68季度10 65年第68季度 68问题55 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。330,第3号,377--405(2005;Zbl 1078.68102) 全文: DOI程序 链接
迪特里赫·库斯克;英格玛·梅内克 带成本的分支自动机——一种反映成本并行性的方法。 (英语) Zbl 1071.68044号 西奥。计算。科学。 328,编号1-2,53-75(2004).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kuske}和\textit{I.Meinecke},Theor。计算。科学。328,编号1--2,53-75(2004;Zbl 1071.68044) 全文: DOI程序
米查尔·库克 迹编码问题的不可判定性和一些可判定的情况。 (英语) Zbl 1071.68043号 西奥。计算。科学。 310,编号1-3,393-456(2004).MSC公司:65年第68季度 20立方米 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{M.Kunc},Theor。计算。科学。310,编号1--3393--456(2004;Zbl 1071.68043) 全文: DOI程序
文森特·达诺斯;科西莫·拉涅夫 正式分子生物学。 (英语) Zbl 1071.68041号 西奥。计算。科学。 325,第1期,69-110(2004).MSC公司:65年第68季度 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}和\textit{C.Laneve},Theor。计算。科学。325,编号1,69--110(2004;Zbl 1071.68041) 全文: DOI程序
安东尼奥蒂,M。;C.广场。;Policriti,A。;M.西蒙。;米什拉,B。 通过相互模拟和崩溃来控制生化模型的复杂性:理论与实践。 (英语) Zbl 1070.68059号 西奥。计算。科学。 325,第1期,第45-67页(2004年).MSC公司:65年第68季度 68问题85 92C40型 第37页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Antoniotti}等人,Theor。计算。科学。325,编号1,45-67(2004;Zbl 1070.68059) 全文: 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程序
拉诺特、拉格罗;安德烈亚·马吉奥洛·谢蒂尼;西蒙·蒂尼 时间自动机中的并发性。 (英语) Zbl 1070.68073号 西奥。计算。科学。 309,编号1-3,503-527(2003).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,Theor。计算。科学。309,编号1--3,503--527(2003;Zbl 1070.68073) 全文: DOI程序
丹尼尔·克里斯滕;Jerzy Marcinkowski 迹幺半群中恒星问题领域的两种技术。 (英语) 兹比尔1106.68371 西奥。计算。科学。 309,编号1-3,381-412(2003).MSC公司:65年第68季度 20立方米 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Kirsten}和\textit{J.Marcinkowski},Theor。计算。科学。309,编号1-3381-412(2003年;Zbl 1106.68371) 全文: DOI程序
J.J.M.M.鲁顿。 行为微分方程:流、自动机和幂级数的共导演算。 (英语) Zbl 1071.68050号 西奥。计算。科学。 308,编号1-3,1-53(2003).MSC公司:65年第68季度 第68季度10 68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.J.M.M.Rutten},Theor。计算。科学。308,编号1--3,1--53(2003;Zbl 1071.68050) 全文: DOI程序
拉尔夫·库米茨;迪特里赫·库斯克 Mazurkiewicz痕迹的拓扑结构。 (英语) Zbl 1100.68590号 西奥。计算。科学。 305,编号1-3,237-258(2003).MSC公司:68问题85 54小时99 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Kummetz}和\textit{D.Kuske},Theor。计算。科学。305,编号1--3,237--258(2003;Zbl 1100.68590) 全文: DOI程序
安东·库切拉 单计数器进程的双相似性检查的复杂性。 (英语) Zbl 1044.68099号 西奥。计算。科学。 304,编号1-3,157-183(2003).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Kučera},Theor。计算。科学。304,编号1--3,157-183(2003;Zbl 1044.68099) 全文: DOI程序
A.阿诺德。;文森特,A。;Walukiewicz,I。 具有部分观测的控制器合成游戏。 (英语) Zbl 1175.93148号 西奥。计算。科学。 303,第1期,7-34(2003).MSC公司:93元65角 91A43型 05年3月 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}等人,Theor。计算。科学。303,编号1,7--34(2003;Zbl 1175.93148) 全文: DOI程序
普拉塞提亚,I.S.W.B。;瑞典斯威斯特拉。 考虑容错。 (英语) Zbl 1064.68020号 西奥。计算。科学。 290,第2期,1201-1222(2003).MSC公司:68米15 PDF格式BibTeX公司 XML格式引用 \textit{I.S.W.B.Prasetya}和\textit{S.D.Swierstra},Theor。计算。科学。290,第2号,1201--1222(2003;Zbl 1064.68020) 全文: DOI程序
迪迪埃·科卡尔 关于具有可判定一元理论的无限转移图。 (英语) Zbl 1019.68066号 西奥。计算。科学。 290,第1期,79-115(2003).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Caucal},Theor。计算。科学。290,编号1,79--115(2003;Zbl 1019.68066) 全文: DOI程序
奥斯卡·H·伊巴拉。;苏建文 用其他数据结构扩充离散时间自动机。 (英语) Zbl 1061.68094号 西奥。计算。科学。 289,第1期,191-204(2002).MSC公司:65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{J.Su},Theor。计算。科学。289,第1号,191--204(2002;Zbl 1061.68094) 全文: DOI程序
Paul Z.科拉诺。 使用交互式定理证明器为实时系统提供证明帮助。 (英语) Zbl 0997.68128号 西奥。计算。科学。 282,第1期,53-99(2002).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \文本{P.Z.Kolano},Theor。计算。科学。282,第1号,53-99(2002年;兹bl 0997.68128) 全文: DOI程序
维塔利·什马提科夫;约翰·米切尔(John C.Mitchell)。 两个合同签署协议的有限状态分析。 (英语) Zbl 0997.68007号 西奥。计算。科学。 283,第2期,419-450(2002).MSC公司:68个M12 PDF格式BibTeX公司 XML格式引用 \textit{V.Shmatikov}和\textit{J.C.Mitchell},Theor。计算。科学。283,编号2,419--450(2002;Zbl 0997.68007) 全文: DOI程序
莱默,K。;斯特罗珀,P。 精化和状态机抽象。 (英语) Zbl 0989.68088号 西奥。计算。科学。 266,第1-2号,195-235(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Lermer}和\textit{P.Strooper},Theor。计算。科学。266,编号1--2,195-235(2001;Zbl 0989.68088) 全文: DOI程序
L’Her,D。;帕尔克,P.L。;马凯,L。 使用时间自动机证明顺序功能图程序。 (英语) Zbl 0984.68101号 西奥。计算。科学。 267,编号1-2,141-155(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L'Her}等人,Theor。计算。科学。267,第1-2141-155号(2001年;Zbl 0984.68101) 全文: DOI程序
Dierks,H。 PLC-自动机:一类新的可实现的实时自动机。 (英语) Zbl 0954.68085号 西奥。计算。科学。 253,第1期,61-93(2001).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{H.Dierks},Theor。计算。科学。253,编号1,61-93(2001;Zbl 0954.68085) 全文: DOI程序
川原康夫;Masao Mori 一个小的最终余代数定理。 (英语) Zbl 0952.68101号 西奥。计算。科学。 233,编号1-2,129-145(2000).MSC公司:68问题85 08C05号机组 18A40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawahara}和\textit{M.Mori},Theor。计算。科学。233,编号1-2129-145(2000;兹bl 0952.68101) 全文: DOI程序
约瑟夫·戈根(Joseph A.Goguen)。;格兰特·马尔科姆 隐藏的议程。 (英语) Zbl 0946.68070号 西奥。计算。科学。 245,第1期,55-101(2000).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{G.Malcolm},Theor。计算。科学。245,编号1,55--101(2000;Zbl 0946.68070) 全文: DOI程序