博利格,贝内迪克特;玛丽·福廷;保罗·加斯丁 通信有限状态机、一阶逻辑和无星命题动态逻辑。 (英语) Zbl 1464.68150号 J.计算。系统。科学。 115, 22-53 (2021).MSC公司:65年第68季度 03B70号 05年3月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Bollig}等人,《计算杂志》。系统。科学。115,22-53(2021年;兹比尔1464.68150) 全文: 内政部
马克·吉森;海林斯,杰尔;简·帕雷登斯;德克·范·古赫特;杰夫·威森;吴玉清 对称查询的计算。 (英语) Zbl 1423.68139号 J.计算。系统。科学。 105, 54-86 (2019).MSC公司:第68页,共15页 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Gyssens}等人,J.Compute。系统。科学。105、54-86(2019年;Zbl 1423.68139) 全文: 内政部 链接
马可·奥蒂利;保拉·因弗拉迪;罗米娜·斯帕拉泽塞;马西莫Tivoli;菲利波·米格诺西 根据基于自动机的规范自动合成应用层连接器。 (英语) Zbl 1423.68066号 J.计算。系统。科学。 104,17-40(2019).MSC公司:64岁以下 68个M12 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Autili}等人,《计算杂志》。系统。科学。104、17-40(2019年;Zbl 1423.68066) 全文: 内政部
诺加·阿龙;哈吉特·阿提亚;什洛米·多列夫;天鹅·杜布瓦;玛丽亚·波托普·布图卡鲁;塞巴斯蒂安·蒂谢尔 在消息传递系统中实际稳定SWMR原子存储器。 (英语) 兹比尔1320.68042 J.计算。系统。科学。 81,4号,692-701(2015).MSC公司:64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{N.Alon}等人,J.Compute。系统。科学。81,第4号,692--701(2015;Zbl 1320.68042) 全文: 内政部
普拉卡什·拉马南 使用物化XPath视图重写XPath查询。 (英语) Zbl 1248.68185号 J.计算。系统。科学。 78,第4期,1006-1025(2012).MSC公司:第68页,共15页 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ramanan},J.计算。系统。科学。78,第4号,1006--1025(2012;Zbl 1248.68185) 全文: 内政部
大卫·哈雷尔;意大利塞格尔 基于场景的规范的合成。 (英语) Zbl 1246.68095号 J.计算。系统。科学。 78,第3号,970-980(2012).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{I.Segall},J.Comput。系统。科学。78,第3号,970--980(2012;Zbl 1246.68095) 全文: 内政部
Krzysztof R.阿普特。;De Boer,Frank S。;奥尔德罗格(Ernst-Rüdiger Olderog);斯蒂恩·德古乌 面向对象程序的验证:转换方法。 (英语) Zbl 1245.68062号 J.计算。系统。科学。 78,第3期,823-852(2012).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt}等人,《计算杂志》。系统。科学。78,第3号,823--852(2012;Zbl 1245.68062) 全文: 内政部
雅塞克·斯罗卡;希德斯,简;保罗·米歇尔;卡罗尔·戈布尔 Taverna 2工作流模型的正式语义。 (英语) Zbl 1214.68208号 J.计算。系统。科学。 76,第6号,490-508(2010).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Sroka}等人,J.Compute。系统。科学。76,第6号,490--508(2010;Zbl 1214.68208) 全文: 内政部
奥利维尔·丹维;雅各布·约翰森 面向对象编程的交互派生语义工件。 (英语) Zbl 1206.68079号 J.计算。系统。科学。 76,第5期,302-323(2010).MSC公司:68甲19 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{O.Danvy}和\textit{J.Johannsen},J.Comput。系统。科学。76,第5号,302-323(2010;Zbl 1206.68079) 全文: 内政部
拉杰夫·阿鲁尔;阿伦州Chandrashekharapuram 嵌入式控制模型的调度序列。 (英语) Zbl 1178.68095号 J.计算。系统。科学。 73,第2期,156-170(2007).MSC公司:68平方米 93C83号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{A.Chandrashekharapuram},J.Compute。系统。科学。73,编号2156-170(2007年;兹bl 1178.68095) 全文: 内政部
罗伯塔·戈里;乔治·列维 关于有限失效的验证。 (英语) Zbl 1105.68016号 J.计算。系统。科学。 71,第4期,535-575(2005).MSC公司:68N17号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gori}和\textit{G.Levi},J.Comput。系统。科学。71,第4号,535--575(2005;Zbl 1105.68016) 全文: 内政部
西蒙·蒂尼 同步语言Gentzen的公理语义。 (英语) Zbl 1035.68061号 J.计算。系统。科学。 66,第2期,316-348(2003).MSC公司:68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.Tini},J.计算。系统。科学。66,编号2,316-348(2003;Zbl 1035.68061) 全文: 内政部
文森扎·卡奇奥洛;米歇尔·马格里;朱塞佩·曼吉奥尼 TTL:用于硬件/软件系统设计的模块化语言。 (英语) Zbl 1035.68031号 J.计算。系统。科学。 66,第2期,293-315(2003).MSC公司:68号01 68N99型 68M99型 PDF格式BibTeX公司 XML格式引用 \textit{V.Carchiolo}等人,《计算杂志》。系统。科学。66,第2号,293--315(2003;Zbl 1035.68031) 全文: 内政部
法兰克·德雷维斯;伯特霍尔德·霍夫曼;丰满,细节 层次图转换。 (英语) Zbl 0999.68096号 J.计算。系统。科学。 64,第2期,249-283(2002).MSC公司:2012年第68季度 05C85号 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{F.Drewes}等人,J.Comput。系统。科学。64,第2号,249--283(2002;Zbl 0999.68096) 全文: 内政部 链接
罗德里克·布洛姆;约斯特·恩格尔弗里特 一元二阶逻辑和属性文法定义的树转导的比较。 (英语) Zbl 0960.68086号 J.计算。系统。科学。 61,第1期,1-50页(2000年).MSC公司:2012年第68季度 68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}和\textit{J.Engelfriet},J.Comput。系统。科学。61,第1号,1--50(2000;Zbl 0960.68086) 全文: 内政部 链接
克里斯特尔·拜尔;贝蒂娜·恩格伦;米拉·卡德巴姆少校 概率过程的双相似性和相似性的判定。 (英语) Zbl 1073.68690号 J.计算。系统。科学。 60,第1期,187-231(2000).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{C.Baier}等人,《计算杂志》。系统。科学。60,第1号,187--231(2000;Zbl 1073.68690) 全文: 内政部
苏珊·帕特奈克;尼尔·伊梅尔曼 Dyn-FO:一个并行的动态复杂性类。 (英语) Zbl 0889.68063号 J.计算。系统。科学。 55,第2期,199-209(1997).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Patnaik}和\textit{N.Immerman},J.Comput。系统。科学。55,No.2,199--209(1997;Zbl 0889.68063) 全文: 内政部 链接
大卫·麦卡利斯特;帕南加登,普拉卡什;瓦桑特·香博格 公平和信号的不可表达性。 (英语) Zbl 0801.68112号 J.计算。系统。科学。 47,第2期,287-321(1993).MSC公司:68问题55 第68季度10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.McAllester}等人,《计算杂志》。系统。科学。47,第2号,287--321(1993;Zbl 0801.68112) 全文: 内政部
约瑟夫·霍尔珀(Joseph Y.Halpern)。;莫舍·瓦尔迪。 关于知识和时间的推理的复杂性。一: 下限。 (英语) Zbl 0672.03015号 J.计算。系统。科学。 38,第1期,195-237(1989). 审核人:G.谢特林 MSC公司:03B70号 68N25号 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Y.Halpern}和\textit{M.Y.Vardi},J.Comput。系统。科学。38,第1号,195--237(1989;Zbl 0672.03015) 全文: 内政部
英国布鲁姆。;埃里格·H·。;Parisi-Prescce,F。 模块及其基本互连的代数规范。 (英语) Zbl 0619.68027号 J.计算。系统。科学。 34, 293-339 (1987).MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{E.K.Blum}等人,J.Compute。系统。科学。34、293--339(1987年;Zbl 0619.68027) 全文: 内政部
奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 公平终止的完整规则。 (英语) Zbl 0612.68021号 J.计算。系统。科学。 33, 313-332 (1986).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《计算杂志》。系统。科学。33、313--332(1986年;Zbl 0612.68021) 全文: 内政部
艾默生·E·艾伦;约瑟夫·霍尔珀(Joseph Y.Halpern)。 分支时间的时序逻辑中的决策过程和表达能力。 (英语) Zbl 0559.68051号 J.计算。系统。科学。 30, 1-24 (1985). 审核人:H.西村 MSC公司:68问题65 03B45号 03B25号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{E.A.Emerson}和\textit{J.Y.Halpern},J.Compute。系统。科学。30,1--24(1985;Zbl 0559.68051) 全文: 内政部