马赫布贝·萨马迪;法特梅·加塞米;Khosravi,拉姆丁 基于消息的系统中消息序列的分散运行时验证。 (英语) Zbl 07686410号 学报信息。 60,第2期,145-178(2023).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{M.Samadi}等人,《信息学报》第60卷第2期,第145--178页(2023年;Zbl 07686410) 全文: 内政部
罗布·范·格拉贝克 具有超时的过程代数的反应式互模拟语义。 (英语) Zbl 07658241号 学报信息。 60,第1期,第11-57页(2023年).MSC公司:68问题85 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},Acta Inf.60,No.1,11-57(2023;Zbl 07658241) 全文: 内政部
伊万·拉内斯;多里亚娜·梅迪奇;克劳迪奥·安塔雷斯·梅齐纳 CCS中的静态与动态可逆性。 (英语) Zbl 1475.68126号 学报信息。 58,编号1-2,1-34(2021). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:2009年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Lanese}等人,《信息学报》58,第1--2、1-34期(2021年;Zbl 1475.68126) 全文: 内政部 链接
本杰明·比斯平;乌韦·内斯特曼;柯斯汀·彼得斯 配对相似性:前32年。 (英语) Zbl 1476.68166号 学报信息。 57,编号3-5,439-463(2020).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bisping}等人,《信息学报》57,第3--5439-463号(2020年;Zbl 1476.68166) 全文: 内政部
戴维·梅斯特尔;罗斯科,A.W。 在并发模型之间转换。 (英语) Zbl 1465.68181号 学报信息。 57,编号3-5,403-438(2020). 审核人:安蒂·瓦尔马里(Jyväskylä) MSC公司:60年第68季度 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Mestel}和\textit{A.W.Roscoe},《学报》第57期,第3--5、403--438号(2020年;Zbl 1465.68181) 全文: 内政部 arXiv公司
伊利亚州卡斯特拉尼;马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼 具有灵活选择的可逆会话。 (英语) Zbl 1462.68121号 学报信息。 56,编号7-8,553-583(2019). 审核人:克莱门特·奥伯特(奥古斯塔) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{I.Castellani}等人,《信息学报》第56期,第7--8553--583号(2019年;Zbl 1462.68121) 全文: 内政部
瑟伦·德博伊斯;托马斯·希尔德布兰特。;斯莱亚特,蒂杰斯 复制、细化和可达性:动态条件响应图的复杂性。 (英语) Zbl 1398.68094号 学报信息。 55,第6号,489-520(2018).MSC公司:68号30 65年第68季度 65年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.Debois}等人,《学报》第55期,第6期,第489--520页(2018年;Zbl 1398.68094) 全文: 内政部
穆罕默德·马赫迪·贾古奥里;法兰克·德波尔;Delphine Longuet;汤姆·乔西亚;马尔詹·西尔贾尼 实时actor-based系统的组合可调度性分析。 (英语) 兹比尔1371.68045 学报信息。 54,第4期,343-378(2017).MSC公司:68平方米 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Jaghouri}等人,《信息学报》第54期,第343-378号(2017年;兹bl 1371.68045) 全文: 内政部
菲律宾邦奇;达尼埃拉·佩特里桑;Damien Pous;朱里安·罗特 关于造币的概述。 (英语) Zbl 1371.68186号 学报信息。 54,第2期,127-190(2017). 审核人:Ahmet A.Khusainov(阿穆尔共青团) MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Bonchi}等人,《信息学报》54,第2期,127--190(2017年;Zbl 1371.68186) 全文: 内政部
霍尔格·博克·阿克塞尔森;罗伯特·格莱克 关于可逆图灵机及其函数的普适性。 (英语) Zbl 1348.68051号 学报信息。 53,第5号,509-543(2016). 审核人:格雷戈里·洛伦·麦科姆(坦帕) MSC公司:2005年第68季度 03日第10天 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.B.Axelsen}和\textit{R.Glück},《学报》第53期,第5期,第509--543页(2016;Zbl 1348.68051) 全文: 内政部
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 使用CADP对异步并发系统进行组合验证。 (英语) Zbl 1410.68250号 学报信息。 52,No.4-5,337-392(2015).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人,《学报》第52期,第4--5337--392号(2015年;Zbl 1410.68250) 全文: 内政部
尼古拉·贝内什;简·Křetínsk;Larsen,Kim G。;米凯尔·H·默勒。;所罗门·西克特;吉·斯尔巴 参数模态转换系统的精化检查。 (英语) Zbl 1309.68130号 学报信息。 52,编号2-3269-297(2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Beneš}等人,Acta Inf.52,No.2--3,269--297(2015;Zbl 1309.68130) 全文: 内政部 链接
Dang,Han-Hing(韩红);伯恩哈德·莫勒 模态代数和Petri网。 (英语) Zbl 1410.68249号 学报信息。 52,编号2-3,109-132(2015).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.-H.Dang}和\textit{B.Möller},《学报》第52期,第2--3109-132号(2015年;Zbl 1410.68249) 全文: 内政部 链接
沃尔特·福格勒;克里斯蒂安·斯塔尔;理查德·米勒 基于跟踪和故障的响应语义。 (英语) Zbl 1304.68033号 学报信息。 51,第8号,499-552(2014).MSC公司:68号30 第68季度55 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Vogler}等人,《学报》第51期,第8期,第499--552页(2014年;Zbl 1304.68033) 全文: 内政部 链接
乌里·法伦贝格;Legay、Axel 模态转换系统的一般定量规范理论。 (英语) Zbl 1360.68585号 学报信息。 51,第5期,261-295(2014).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}和\textit{A.Legay},《信息学报》51,第5期,261--295(2014;Zbl 1360.68585) 全文: 内政部 哈尔
沃尔特·古特曼 迭代代数和无限计算代数。 (英语) Zbl 1279.68078号 学报信息。 49,第5期,343-359(2012).MSC公司:2005年第68季度 70年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{W.Guttmann},《信息学报》第49期,第5期,第343--359页(2012年;Zbl 1279.68078) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 指令序列处理运算符。 (英语) 兹比尔1279.68075 学报信息。 49,第3期,139-172(2012).MSC公司:第68季度01 2005年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第49期,第3期,第139--172页(2012年;Zbl 1279.68075) 全文: 内政部
安娜·卡瓦尔坎蒂;玛丽·克劳德·高德尔 测试中的精细化马戏团. (英语) Zbl 1237.68059号 学报信息。 48,第2期,97-147(2011).MSC公司:68号30 68甲15 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cavalcanti}和\textit{M.-C.Gaudel},《学报》第48期,第2期,第97-147页(2011年;Zbl 1237.68059) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维 将非有限公理化结果提升到过程代数的扩展。 (英语) Zbl 1186.68313号 学报信息。 47,第3期,147-177(2010).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,《信息学报》47,第3期,147--177(2010年;Zbl 1186.68313) 全文: 内政部 链接
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 面向机器结构的控制代码逻辑。 (英语) Zbl 1186.68104号 学报信息。 46,第5期,375-401(2009).MSC公司:68N20型 03B70号 68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《学报》第46期,第5期,第375--401页(2009年;Zbl 1186.68104) 全文: 内政部 arXiv公司
罗兰·梅耶 微积分中的结构平稳性理论。 (英语) Zbl 1165.68053号 学报信息。 46,第2期,87-137(2009).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Meyer},Acta Inf.46,No.2,87-137(2009;Zbl 1165.68053) 全文: 内政部
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。 显式多线程的同步合作。 (英语) 兹比尔1133.68051 学报信息。 44,编号7-8,525-569(2007).MSC公司:68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{C.A.Middelburg},《情报法》第44卷,第7-8期,第525-569页(2007年;Zbl 1133.68051) 全文: 内政部
弗扎蒂、拉切尔;马西莫·梅罗;乌韦·内斯特曼 已达成共识,重新审视。 (英语) Zbl 1151.68036号 学报信息。 44,第6期,377-425(2007).MSC公司:68问题85 68米15 PDF格式BibTeX公司 XML格式引用 \textit{R.Fuzzati}等人,Acta Inf.44,No.6,377--425(2007;Zbl 1151.68036) 全文: 内政部 链接
Jan A.Bergstra。;英格·贝斯克;阿尔班·蓬塞 下推线程的决策问题。 (英语) Zbl 1120.68077号 学报信息。 44,No.2,75-90(2007).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}等人,《信息学报》第44卷第2期,第75-90页(2007年;Zbl 1120.68077) 全文: 内政部
巴巴拉·科尼格 图重写中类型的通用框架。 (英语) Zbl 1081.68040号 学报信息。 42,No.4-5,349-388(2005).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.König},《学报》第42期,第4--5349-388号(2005年;Zbl 1081.68040) 全文: 内政部
直纪小林 (pi)演算的基于类型的信息流分析。 (英语) Zbl 1081.68061号 学报信息。 42,编号4-5291-347(2005).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{N.Kobayashi},《信息学报》第42期,第4--5291--347号(2005年;Zbl 1081.68061) 全文: 内政部
英明生 \(\pi\)-带噪声信道的微积分。 (英语) Zbl 1079.68067号 学报信息。 41,第9期,525-593(2005).MSC公司:68问题85 94甲15 94A40型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ying},《学报》第41期,第9期,第525--593页(2005年;Zbl 1079.68067) 全文: 内政部 链接