马西莫·贝内雷切蒂;丹尼尔·德尔尔巴;法比奥·莫加维罗 通过准自治权求解均值对价博弈。 (英语) Zbl 07825554号 Inf.计算。 297,文章ID 105151,25 p.(2024)。MSC公司:91A68型 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{M.Benerecetti}等人,《信息计算》。297,文章ID 105151,25 p.(2024;Zbl 07825554) 全文: 内政部 arXiv公司
亨宁费尔瑙;佩特拉·沃尔夫;山上春树 同步确定性下推自动机可能非常困难。 (英语) Zbl 07798816号 Inf.计算。 295,B部分,文章ID 105089,12 p.(2023)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau}等人,《信息计算》。295,B部分,文章ID 105089,12 p.(2023;Zbl 07798816) 全文: 内政部
Vaandrager,Frits公司;马苏德·易卜拉希米;罗德里克·布洛姆 用一个计时器学习Mealy机器。 (英语) Zbl 07798811号 Inf.计算。 295,A部分,文章ID 105013,21 p.(2023)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{F.Vaandrager}等人,《信息计算》。295,A部分,文章ID 105013,21 p.(2023;Zbl 07798811) 全文: 内政部
阿夫尼,盖伊;什巴希斯·古哈;奥尔纳·库普弗曼 定时网络游戏。 (英语) Zbl 07641115号 Inf.计算。 290,文章ID 104996,27 p.(2023)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{G.Avni}等人,《信息计算》。290,文章ID 104996,27 p.(2023;Zbl 07641115) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;麦格纳戈,恩里科 长期贷款无限状态系统中的证伪。 (英语) Zbl 07629158号 Inf.计算。 289,A部分,文章ID 104977,43 p.(2022)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《信息计算》。289,A部分,文章ID 104977,43 p.(2022;Zbl 07629158) 全文: 内政部
王龙春;李庆国 有界完备域及其逻辑形式。 (英语) Zbl 07629149号 Inf.计算。 289,A部分,文章ID 104958,29 p.(2022)。MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{L.Wang}和\textit{Q.Li},Inf.Compute。289,A部分,文章ID 104958,29 p.(2022;Zbl 07629149) 全文: 内政部
洛依茨海露;尼古拉斯·马基;里塔姆·拉哈 放松能量约束的可达性游戏。 (英语) Zbl 1487.68128号 Inf.计算。 285,B部分,文章ID 104806,20 p.(2022)。MSC公司:65年第68季度 2017年第68季度 91A43型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hélouét}等人,《信息计算》。285,B部分,文章ID 104806,20 p.(2022;Zbl 1487.68128) 全文: 内政部 arXiv公司
劳拉·博泽利;阿尼埃洛·穆拉诺;阿德里亚诺·佩隆 无上下文时间形式:鲁棒自动机和线性时序逻辑。 (英语) Zbl 1528.68213号 Inf.计算。 283,文章ID 104673,30 p.(2022)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。283,文章ID 104673,30 p.(2022;Zbl 1528.68213) 全文: 内政部 链接
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔 定价时间自动机的成本和回报。 (英语) Zbl 1483.68168号 Inf.计算。 282,文章ID 104656,17 p.(2022)。MSC公司:65年第68季度 03年2月25日 11日72 2005年11月 91B02型 PDF格式BibTeX公司 XML格式引用 \textit{M.Fränzle}等人,《信息计算》。282,文章ID 104656,17 p.(2022;Zbl 1483.68168) 全文: 内政部 arXiv公司 链接
阿曼,博格丹;加布里埃尔·乔巴努 移动代理系统和加权时间自动机中的声誉动态。 (英语) Zbl 1483.68220号 Inf.计算。 282,文章ID 104653,22 p.(2022)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Aman}和\textit{G.Ciobanu},Inf.Comput。282,文章ID 104653,22 p.(2022;Zbl 1483.68220) 全文: 内政部
博尔贾·巴勒;帕斯卡尔,古尔多;帕南加登,普拉卡什 实加权自动机的双模拟度量和范数。 (英语) Zbl 1483.68154号 Inf.计算。 282,文章ID 104649,19 p.(2022)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Balle}等人,《信息计算》。282,文章ID 104649,19 p.(2022;Zbl 1483.68154) 全文: 内政部 arXiv公司
阿德里安·弗兰卡兰扎 监视器理论。 (英语) Zbl 1475.68206号 Inf.计算。 281,文章ID 104704,29 p.(2021)。MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Francalanza},Inf.计算。281,文章ID 104704,29 p.(2021;Zbl 1475.68206) 全文: 内政部
何希明;周若瑜;蒂莫西·琼斯。 时间超属性。 (英语) Zbl 1518.68207号 Inf.计算。 280,文章ID 104639,18 p.(2021)。MSC公司:60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,《信息计算》。280,文章ID 104639,18 p.(2021;Zbl 1518.68207) 全文: 内政部 链接
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼 网络物理系统的概率演算。 (英语) Zbl 1497.68346号 Inf.计算。 279,文章ID 104618,30 p.(2021)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Lanotte}等人,《信息计算》。279,文章ID 104618,30 p.(2021;Zbl 1497.68346) 全文: 内政部 arXiv公司
贝拉德,B。;哈达德,S。;皮卡罗尼,C。;Safey El Din,M。;萨索拉斯,M。 多项式中断时间自动机:验证和表达。 (英语) 兹比尔1475.68145 Inf.计算。 277,文章ID 104580,15 p.(2021)。MSC公司:65年第68季度 03B70号 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bérard}等人,Inf.Comput。277,文章ID 104580,15 p.(2021;Zbl 1475.68145) 全文: 内政部 哈尔
尼古拉·贝内什;乌里·法伦贝格;简·Křetínsk;Legay、Axel;路易斯·马里·特劳努埃兹 逻辑规范与行为规范。 (英语) Zbl 1435.68189号 Inf.计算。 271,文章ID 104487,24 p.(2020)。MSC公司:60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。271,文章ID 104487,24 p.(2020;Zbl 1435.68189) 全文: 内政部 哈尔
瓦伦蒂娜·卡斯蒂格利奥尼;西蒙·蒂尼 非确定概率转移系统分支度量的逻辑特征。 (英语) Zbl 1430.68161号 Inf.计算。 268,文章ID 104432,40 p.(2019)。MSC公司:68问题85 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Castiglioni}和\textit{S.Tini},Inf.Compute。268,文章ID 104432,40 p.(2019;Zbl 1430.68161) 全文: 内政部
黄明章;傅洪飞;Joost-Pieter卡托恩 决定概率下推自动机和有限状态系统之间的概率模拟。 (英语) Zbl 1430.68147号 Inf.计算。 268,文章ID 104431,15 p.(2019)。MSC公司:65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Huang}等人,《信息计算》。268,文章ID 104431,15 p.(2019;Zbl 1430.68147) 全文: 内政部 链接
佛罗伦萨克莱尔克;纳塔娜·菲亚尔科夫;巴托克·克林;帕南加登,普拉卡什 概率模态逻辑的表达:渐进方法。 (英语) Zbl 1422.68167号 Inf.计算。 267, 145-163 (2019)。MSC公司:68问题85 03B45号 03B48 03E15年 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Clerc}等人,《信息计算》。267145-163(2019年;Zbl 1422.68167) 全文: 内政部
勒鲁(Le Roux,Stéphane);保罗,阿诺 将有限内存确定性扩展到多层游戏。 (英语) Zbl 1396.91045号 Inf.计算。 261,第4部分,676-694(2018)。MSC公司:91A43型 91A06型 05第57页 PDF格式BibTeX公司 XML格式引用 \textit{S.Le Roux}和\textit{A.Pauly},Inf.Comput。261,第4部分,676--694(2018;Zbl 1396.91045) 全文: 内政部 arXiv公司 链接
贾科莫·阿尔泽塔;安德烈亚·马林;卡拉广场;萨宾娜·罗西 马尔科夫自动机中基于集总的等价物:产品形态分析的算法和应用。 (英语) Zbl 1390.68371号 Inf.计算。 260, 99-125 (2018)。MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Alzetta}等人,《信息计算》。260、99-125(2018;Zbl 1390.68371) 全文: 内政部 链接
Chatzieleftheriou,G。;卡萨罗斯,P。 概率系统的抽象模型修复。 (英语) Zbl 1388.68185号 Inf.计算。 259,第1部分,142-160(2018)。MSC公司:60年第68季度 03B44号 60J20型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Chatzieleftheriou}和\textit{P.Katsaros},Inf.Compute。259,第1部分,142--160(2018;Zbl 1388.68185) 全文: 内政部
瓦西里欧斯·库塔瓦斯;马西耶·加兹达;马修·轩尼诗 区分通信事务。 (英语) Zbl 1388.68198号 Inf.计算。 259,第1部分,1-30(2018)。MSC公司:68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Koutavas}等人,《信息计算》。259,第1部分,1-30(2018;Zbl 1388.68198) 全文: 内政部 arXiv公司
Wan Fokkink公司;罗布·范格拉贝克 分而治之。二: 从模态公式的分解到延迟和弱相似性的保持。 (英语) Zbl 1380.68295号 Inf.计算。 257, 79-113 (2017)。MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}和\textit{R.van Glabbeek},Inf.Compute。257、79——113(2017年;Zbl 1380.68295) 全文: 内政部 arXiv公司
邓玉欣;冯、袁 概率双相似度作为测试等效性。 (英语) Zbl 1380.68293号 Inf.计算。 257, 58-64 (2017)。MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Deng}和\textit{Y.Feng},Inf.Comput。257、58--64(2017年;Zbl 1380.68293) 全文: 内政部
杨建南;曹永志;王汉平 概率系统中的差分隐私。 (英语) Zbl 1370.68081号 Inf.计算。 254,第1部分,84-104(2017)。MSC公司:68第25页 03B70号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Yang}等人,《信息计算》。254,第1部分,84--104(2017;Zbl 1370.68081) 全文: 内政部
维罗尼克·布鲁埃;艾曼纽·菲利奥特;米凯尔·兰多尔;Jean-François拉斯金 保证满足您的期望:超越定量游戏中的最坏情况合成。 (英语) Zbl 1371.91022号 Inf.计算。 254,第2部分,259-295(2017)。MSC公司:91A43型 91A05型 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{V.Bruyère}等人,《信息计算》。254,第2部分,259--295(2017;Zbl 1371.91022) 全文: 内政部 链接
弗雷德里克·赫布雷托;Srivathsan,B。;伊戈尔·瓦卢基维奇 时间自动机的更好抽象。 (英语) Zbl 1353.68166号 Inf.计算。 251, 67-90 (2016)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Herbreteau}等人,信息计算。251、67-90(2016年;Zbl 1353.68166) 全文: 内政部
张丽君;大卫·詹森(David N.Jansen)。 一种基于概率自动机的空间效率仿真算法。 (英语) 兹比尔1345.68219 Inf.计算。 249, 138-159 (2016)。MSC公司:65年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Zhang}和\textit{D.N.Jansen},信息计算。249、138--159(2016;Zbl 1345.68219) 全文: 内政部 链接
佩德罗·R·达吉尼奥。;丹尼尔·格布勒;李,马蒂亚斯·戴维 概率转移系统规范的通用SOS理论。 (英语) Zbl 1344.68163号 Inf.计算。 249, 76-109 (2016)。MSC公司:68问题85 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}等人,《信息计算》。249、76-109(2016年;Zbl 1344.68163) 全文: 内政部
卢卡·博托卢西;米利奥斯·迪米特里奥斯;吉多·桑吉内蒂 不确定连续时间马尔可夫链的平滑模型检验。 (英语) Zbl 1336.68162号 Inf.计算。 247, 235-253 (2016)。MSC公司:60年第68季度 60G15年 60J28型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}等人,《Inf.Compute》。247235-253(2016;Zbl 1336.68162) 全文: 内政部 arXiv公司 链接
黄、孟桥;周向南;李庆国 信息系统的再视觉公理。 (英语) Zbl 1336.68159号 Inf.计算。 247130-140(2016)。MSC公司:68问题55 06B35号 18B99型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Huang}等人,《信息计算》。247130-140(2016年;兹比尔1336.68159) 全文: 内政部
尼古拉斯·巴塞特 时间自动机的最大熵随机过程。 (英语) Zbl 1327.68149号 Inf.计算。 243, 50-74 (2015)。MSC公司:65年第68季度 60G05型 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Basset},信息计算。243、50-74(2015;Zbl 1327.68149) 全文: 内政部 哈尔
约翰·费恩利;马尔钦·尤季扬斯基 双时钟时间自动机中的可达性是PSPACE完成的。 (英语) Zbl 1345.68155号 Inf.计算。 243, 26-36 (2015)。MSC公司:2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Fearnley}和\textit{M.Jurdziánski},Inf.Compute。243、26-36(2015年;Zbl 1345.68155) 全文: 内政部 arXiv公司
哈桑·莫塔列比;穆罕默德·阿卜杜拉希·阿兹戈米 参数化多奇异混合Petri网:形式化定义和分析技术。 (英语) Zbl 1309.68140号 Inf.计算。 241321-348(2015年)。MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Motallebi}和\textit{M.A.Azgomi},Inf.Compute。241321-348(2015年;兹比尔1309.68140) 全文: 内政部
纱线维纳;查特吉,克里什南杜;劳伦特·多恩;托马斯·亨辛格。;亚历山大·拉比诺维奇;Jean-François拉斯金 多均值和多能量游戏的复杂性。 (英语) Zbl 1309.68082号 Inf.计算。 241, 177-196 (2015)。MSC公司:2017年第68季度 91A05型 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Velner}等人,《信息计算》。24117-196(2015年;Zbl 1309.68082) 全文: 内政部 arXiv公司
劳拉·博泽利;汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯;苏菲·平奇纳特 细化模态逻辑。 (英语) Zbl 1309.68175号 Inf.计算。 239, 303-339 (2014)。MSC公司:68T27型 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Bozzelli}等人,《信息计算》。239303--339(2014年;Zbl 1309.68175) 全文: 内政部 arXiv公司
班克斯,C.J。;斯塔克,I。 上下文中的行为逻辑。 (英语) Zbl 1311.68083号 Inf.计算。 236, 3-18 (2014)。MSC公司:60年第68季度 03B44号 68问题85 92C40型 PDF格式BibTeX公司 XML格式引用 \textit{C.J.Banks}和\textit{I.Stark},Inf.Compute。2363-18(2014年;Zbl 1311.68083) 全文: 内政部
罗希特·查达;马赫什·维斯瓦纳坦;拉梅什·维斯瓦纳坦 概率测度的最小上界及其在抽象中的应用。 (英语) Zbl 1282.68176号 Inf.计算。 234,68-106(2014)。MSC公司:87年第68季度 60A10英寸 90立方厘米 60J05型 60J25型 PDF格式BibTeX公司 XML格式引用 \textit{R.Chadha}等人,《信息计算》。234,68——106(2014年;兹比尔1282.68176) 全文: 内政部
奥坎·桑库尔;帕特里夏·鲍耶;尼古拉斯·马基 缩小时间自动机。 (英语) Zbl 1285.68090号 Inf.计算。 234, 107-132 (2014)。MSC公司:65年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{O.Sankur}等人,《信息计算》。234107--132(2014年;Zbl 1285.68090) 全文: 内政部 链接
查特吉,克里什南杜;Vinayak S.普拉布。 用于定时系统的高效内存、无时钟内存和非Zeno安全控制器的合成。 (英语) Zbl 1358.68164号 Inf.计算。 228-229, 83-119 (2013)。MSC公司:65年第68季度 91A80型 93元65角 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatterjee}和\textit{V.S.Prabhu},Inf.Compute。228--229、83-119(2013;Zbl 1358.68164) 全文: 内政部
贝诺·德拉哈耶;Joost-Pieter卡托恩;Larsen,Kim G。;Legay、Axel;米克尔·佩德森。;福尔克·谢尔;安德烈·索夫斯基 抽象概率自动机。 (英语) Zbl 1296.68092号 Inf.计算。 232,66-116(2013)。MSC公司:65年第68季度 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Delahaye}等人,《信息计算》。232,66——116(2013年;兹bl 1296.68092) 全文: 内政部
巴托克·克林;弗拉迪米罗·萨松 随机和加权转移系统的结构操作语义。 (英语) Zbl 1358.68214号 Inf.计算。 227, 58-83 (2013)。MSC公司:68问题85 2010年第68季度 68问题55 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin}和\textit{V.Sassone},Inf.Comput。227、58-83(2013年;Zbl 1358.68214) 全文: 内政部
何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特;萨米人Zhioua 通过强化学习测试概率等效性。 (英语) Zbl 1358.68187号 Inf.计算。 227, 21-57 (2013)。MSC公司:60年第68季度 2010年第68季度 87年第68季度 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。227、21-57(2013年;Zbl 1358.68187) 全文: 内政部
马可·贝尔纳多;洛科·德尼古拉;米歇尔·洛雷蒂 用于建模非确定性、概率性、随机性或混合过程及其行为等效性的统一框架。 (英语) 兹比尔1358.68210 Inf.计算。 225, 29-82 (2013)。MSC公司:68问题85 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。225,29-82(2013;Zbl 1358.68210) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;吉·斯尔巴 EXPTIME对模态转换系统进行彻底细化的完整性。 (英语) Zbl 1282.68118号 Inf.计算。 218, 54-68 (2012)。MSC公司:2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,《信息计算》。218、54-68(2012年;Zbl 1282.68118) 全文: 内政部
Wan Fokkink公司;罗布·范格拉贝克;保利安·德温德 分式和同余:从模态公式的分解到分支和(eta)-双相似性的保持。 (英语) Zbl 1277.68182号 Inf.计算。 214, 59-85 (2012)。MSC公司:68问题85 03B45号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{W.Fokkink}等人,《信息计算》。214,59-85(2012;Zbl 1277.68182) 全文: 内政部
菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;简·拉特;亚历山德拉·席尔瓦 线性加权自动机的联合观点。 (英语) Zbl 1279.68235号 Inf.计算。 211, 77-105 (2012)。MSC公司:70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《信息计算》。211、77——105(2012;Zbl 1279.68235) 全文: 内政部
四川省韦尔市;马蒂伊斯·德·威德;Cees威特文 识别时间自动机的效率和时钟的功率。 (英语) Zbl 1217.68134号 Inf.计算。 209,编号3,606-625(2011)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Verwer}等人,Inf.Compute。209,第3号,606--625(2011;Zbl 1217.68134) 全文: 内政部 链接
佩德罗·桑切斯·特拉夫 互模拟逻辑特征的不可验证性。 (英语) Zbl 1216.68196号 Inf.计算。 209,第7期,1048-1056(2011)。MSC公司:68问题85 60J05型 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Sánchez Terraf},信息计算。209,第7号,1048--1056(2011;Zbl 1216.68196) 全文: 内政部
何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特;Amélie Turgeon 未指定概率系统的逻辑对偶性。 (英语) Zbl 1222.68119号 Inf.计算。 209,第5期,850-871(2011)。 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:68问题85 03B70号 87年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。209,第5号,850--871(2011;Zbl 1222.68119) 全文: 内政部
亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;简·拉特 定量Kleene余代数。 (英语) Zbl 1227.68075号 Inf.计算。 209,第5822-849号(2011年)。 审核人:卢茨·施罗德(不来梅) MSC公司:70年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Silva}等人,《信息计算》。209,第5号,822--849(2011;Zbl 1227.68075) 全文: 内政部 链接
魏、欧;阿里·古芬克尔;玛莎·契契克 关于部分建模形式的一致性、表达性和准确性。 (英语) Zbl 1214.68226号 Inf.计算。 209,第1期,20-47(2011)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{O.Wei}等人,《信息计算》。209,第1号,第20--47号(2011;Zbl 1214.68226) 全文: 内政部
詹乃军;米拉·卡德巴姆少校 关于分层发展的反应系统。 (英语) Zbl 1197.93080号 Inf.计算。 208,第9期,997-1019(2010)。MSC公司:93亿B51 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{N.Zhan}和\textit{M.Majster-Cederbaum},Inf.Compute。208,第9号,997--1019(2010;Zbl 1197.93080) 全文: 内政部
康斯坦蒂诺斯·查齐科科拉基斯;卡图西亚帕拉米德斯 使随机选择对调度程序不可见。 (英语) Zbl 1205.68239号 Inf.计算。 208,第6期,694-715(2010)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{K.Chatzikokolakis}和\textit{C.Palamidessi},信息计算。208,第6号,694--715(2010;Zbl 1205.68239) 全文: 内政部
何塞·德斯哈奈斯;葡萄藤古普塔;拉德哈·贾加迪桑;帕南加登,普拉卡什 pCTL\(^*\)的弱互模拟是合理且完整的。 (英语) Zbl 1189.68080号 Inf.计算。 208,第2期,203-219(2010)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。208,第2号,203--219(2010;Zbl 1189.68080) 全文: 内政部
巴托克·克林 结构操作语义中的双代数方法和模态逻辑。 (英语) Zbl 1165.68043号 Inf.计算。 207,第2期,237-257(2009)。MSC公司:68问题55 03B45号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Klin},信息计算。207,第2号,237--257(2009;Zbl 1165.68043) 全文: 内政部
戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯 (Bi)模拟可描述流程语义。 (英语) Zbl 1165.68054号 Inf.计算。 207,第2期,146-170(2009)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez},Inf.Compute。207,第2号,146--170(2009;Zbl 1165.68054) 全文: 内政部
张金进;朱兆辉 用\(eta,\alpha)\)-双相似性表征分支距离。 (英语) Zbl 1169.68035号 Inf.计算。 206,第8期,953-965(2008)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Zhang}和\textit{Z.Zhu},Inf.Compute。206,第8号,953--965(2008;Zbl 1169.68035) 全文: 内政部
古罗夫,帝力;马里克,Huisman;克里斯托夫·斯普伦格 用程序对顺序程序进行组合验证。 (英语) Zbl 1153.68036号 Inf.计算。 206,第7号,840-868(2008)。MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Gurov}等人,《信息计算》。206,第7号,840--868(2008;Zbl 1153.68036) 全文: 内政部
迈克尔·巴克斯;比吉特·普菲茨曼;迈克尔·韦德纳 异步系统的反应模拟(RSIM)框架。 (英语) Zbl 1132.68025号 Inf.计算。 205,第12期,1685-1720(2007)。MSC公司:68第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Backes}等人,Inf.计算。205,第12号,1685--1720(2007;Zbl 1132.68025) 全文: 内政部
冯、袁;段润耀;纪正峰;英明生 量子过程的概率互模拟。 (英语) Zbl 1130.68079号 Inf.计算。 205,第11期,1608-1639(2007)。MSC公司:68问题85 2010年第68季度 81页68 PDF格式BibTeX公司 XML格式引用 \textit{Y.Feng}等人,《信息计算》。205,第11号,1608--1639(2007;Zbl 1130.68079) 全文: 内政部 链接
埃琳娜·费斯曼;帕维尔·科卡尔;保罗·佩特森;易、王 任务自动机:可调度性、可判定性和不可判定性。 (英语) Zbl 1121.68062号 Inf.计算。 205,第8期,1149-1172(2007)。MSC公司:65年第68季度 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Fersman}等人,《信息计算》。205,第8号,1149--1172(2007;Zbl 1121.68062) 全文: 内政部
阿伦德·伦辛克;沃尔特·福格勒 公平测试。 (英语) Zbl 1109.68077号 Inf.计算。 205,第2期,125-198(2007)。MSC公司:68问题85 68问题55 60年第68季度 68米15 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink}和\textit{W.Vogler},Inf.Comput。205,编号2,125--198(2007;Zbl 1109.68077) 全文: 内政部 链接
安德烈亚斯·施费尔 多维持续时间微积分的公理化和可判定性。 (英语) Zbl 1109.68069号 Inf.计算。 205,第1期,25-64(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Schäfer},Inf.计算。205,编号1,25--64(2007;Zbl 1109.68069) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 拆分相互模拟和追溯条件。 (英语) Zbl 1104.68070号 Inf.计算。 204,编号71083-1138(2006)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},信息计算。204,第7号,1083--1138(2006;Zbl 1104.68070) 全文: 内政部
文森特·达诺斯;何塞·德斯哈奈斯;弗朗索瓦·拉维奥莱特;帕南加登,普拉卡什 概率系统的互模拟和同余。 (英语) Zbl 1110.68083号 Inf.计算。 204,编号4503-523(2006)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Danos}等人,《信息计算》。204,第4号,503--523(2006;Zbl 1110.68083) 全文: 内政部 链接
科琳娜·科斯特 定义和描述仿真概念的模块化方法。 (英语) Zbl 1101.68937号 Inf.计算。 204,第4期,469-502(2006)。MSC公司:68岁20岁 PDF格式BibTeX公司 XML格式引用 \textit{C.Cêrstea},Inf.Compute(信息计算)。204,第4号,469--502(2006;Zbl 1101.68937) 全文: 内政部 链接
托马斯·布里海耶;维罗尼克·布鲁埃;Jean-François拉斯金 关于带秒表观测器的模型检查时间自动机。 (英语) Zbl 1094.68055号 Inf.计算。 204,第3期,408-433(2006)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人,《信息计算》。204,第3号,408--433(2006;Zbl 1094.68055) 全文: 内政部
佩德罗·R·达吉尼奥。;Joost-Pieter卡托恩 随机系统理论。一: 随机自动机。 (英语) Zbl 1105.68061号 Inf.计算。 203,第1期,1-38页(2005年)。MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.R.D'Argenio}和\textit{J.P.Katoen},Inf.Compute。203,第1号,1--38(2005;Zbl 1105.68061) 全文: 内政部
萨拉·格拉达拉;安东内拉·桑顿;玛丽亚·路易莎·维拉尼 使用启发式搜索查找并发系统中的死锁。 (英语) Zbl 1101.68680号 Inf.计算。 202,第2期,191-226(2005)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Gradara}等人,《信息计算》。202,第2号,191--226(2005;Zbl 1101.68680) 全文: 内政部
克里斯特尔·拜尔;Joost-Pieter卡托恩;霍尔格·赫尔曼斯;维雷娜·沃尔夫 马尔可夫链的比较分支时间语义。 (英语) Zbl 1101.68053号 Inf.计算。 200,第2期,149-214(2005)。MSC公司:68问题55 2010年第68季度 60年第68季度 60J10型 60J27型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《信息计算》。200,第2号,149--214(2005;Zbl 1101.68053) 全文: 内政部 链接
何塞·德斯哈奈斯;葡萄藤古普塔;拉达,贾加德桑;帕南加登,普拉卡什 近似标记马尔可夫过程。 (英语) Zbl 1028.68091号 Inf.计算。 184,第1期,160-200(2003)。MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。184,编号1,160--200(2003;Zbl 1028.68091) 全文: 内政部
何塞·德斯哈奈斯;阿巴斯·埃达拉特;帕南加登,普拉卡什 标记马尔可夫过程的互模拟。 (英语) Zbl 1096.68103号 Inf.计算。 179,第2期,163-193(2002)。MSC公司:68问题85 60J05型 PDF格式BibTeX公司 XML格式引用 \textit{J.Desharnais}等人,《信息计算》。179,编号2,163--193(2002;Zbl 1096.68103) 全文: 内政部
阿伦德·伦辛克 开放条款的相似性。 (英语) Zbl 1046.68626号 Inf.计算。 156,编号1-2,345-385(2000)。MSC公司:68问题85 2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rensink},信息计算。156,编号1--2,345--385(2000;Zbl 1046.68626) 全文: 内政部 链接
吉安·路易吉,法拉利;乌戈·蒙塔纳里 定位和移动系统的平铺格式。 (英语) Zbl 1046.68619号 Inf.计算。 156,编号1-2173-235(2000)。MSC公司:68问题85 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Ferrari}和\textit{U.Montanari},Inf.Comput。156,编号1-2173-235(2000年;兹bl 1046.68619) 全文: 内政部
兰斯·克莱维兰;泽恩·达亚尔;斯科特·斯莫尔卡。;袁,Shoji 测试概率过程的预订单。 (英语) Zbl 1045.68564号 Inf.计算。 154,第2期,第93-148页(1999年)。MSC公司:2010年第68季度 60J10型 94A05型 PDF格式BibTeX公司 XML格式引用 \textit{R.Cleaveland}等人,《信息计算》。154,第2号,93--148(1999;Zbl 1045.68564) 全文: 内政部
马可·贝尔纳多;洛伦佐·多纳蒂耶洛;罗伯托·戈里埃里 在并发系统建模和分析中集成性能方面的一种形式化方法。 (英语) Zbl 0909.68074号 Inf.计算。 144,第2期,第83-154页(1998年)。MSC公司:2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bernardo}等人,《信息计算》。144,No.2,83--154(1998;Zbl 0909.68074) 全文: 内政部
赫里萨菲斯·哈托纳斯;马修·轩尼诗 具有高阶值传递的函数/并发语言的完全抽象性。 (英语) Zbl 0912.68114号 Inf.计算。 145,第1期,64-106(1998)。MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas}和\textit{M.Hennessy},Inf.Comput。145,编号1,64--106(1998;Zbl 0912.68114) 全文: 内政部
达姆,麦兹 证明动态过程网络的特性。 (英语) Zbl 0892.68034号 Inf.计算。 140,第2期,95-114(1998)。MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Dam},信息计算。140,第2号,95--114(1998;Zbl 0892.68034) 全文: 内政部 链接
格罗特,扬·弗里索;Vaandrager,Frits公司 结构化操作语义和互模拟作为同余。 (英语) Zbl 0752.68053号 Inf.计算。 100,第2期,202-260(1992)。MSC公司:68问题55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{F.Vaandrager},Inf.Compute。100,第2号,202--260(1992;Zbl 0752.68053) 全文: 内政部 链接
张国强 \(dI)–域作为基本信息系统。 (英语) Zbl 0752.68054号 Inf.计算。 100,第2期,151-177(1992)。MSC公司:68问题55 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{G.-Q.Zhang},信息计算。100,编号2151-177(1992年;兹bl 0752.68054) 全文: 内政部
Larsen,Kim G。;罗宾·米尔纳 使用相对化互模拟进行合成协议验证。 (英语) Zbl 0753.68067号 Inf.计算。 99,第1号,80-108(1992年)。MSC公司:60年第68季度 2010年第68季度 68M10个 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{R.Milner},Inf.Compute。99,第1号,80--108(1992;Zbl 0753.68067) 全文: 内政部
萨姆森·艾布拉姆斯基 用于互模拟的域方程。 (英语) Zbl 0718.68057号 Inf.计算。 92,第2期,161-218(1991)。MSC公司:68问题85 2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},Inf.计算。92,No.2,161--218(1991;Zbl 0718.68057) 全文: 内政部 链接
Larsen,Kim G。;阿恩·斯科 通过概率测试进行相互模拟。 (英语) Zbl 0756.68035号 Inf.计算。 94,第1期,1-28页(1991年)。 审核人:D.Gruska(布拉迪斯拉发) MSC公司:2010年第68季度 68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.G.Larsen}和\textit{A.Skou},Inf.Compute。94,第1号,1--28(1991;Zbl 0756.68035) 全文: 内政部
D.J.沃克。 相互模拟和发散。 (英语) Zbl 0713.68036号 Inf.计算。 85,第2期,202-241(1990)。 审核人:F.-L.提普利亚 MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Walker},信息计算。85,第2号,202--241(1990;Zbl 0713.68036) 全文: 内政部
可口、蒂埃里;卡尔·冈特;格林·温斯克尔 多态性的领域理论模型。 (英语) Zbl 0683.03007号 Inf.计算。 81,第2期,123-167(1989)。 审核人:G.乔巴努 MSC公司:03B40型 18B35型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人,《信息计算》。81,No.2,123--167(1989;Zbl 0683.03007) 全文: 内政部
曼弗雷德·德罗斯特 具体数据结构的递归域方程。 (英语) Zbl 0679.68149号 Inf.计算。 82,No.1,65-80(1989)。MSC公司:68问题55 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Droste},信息计算。82,第1号,65--80(1989;Zbl 0679.68149) 全文: 内政部
卡尔·A·冈特。 通用profinite域。 (英语) Zbl 0628.68050号 Inf.计算。 72, 1-30 (1987)。 审核人:G.乔巴努 MSC公司:99年第68季度 60年第68季度 18B35型 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Gunter},信息计算。72,1--30(1987年;Zbl 0628.68050) 全文: 内政部