阿特雷夫斯达尔;朗希尔德·科布罗·伦德;凯蒂尔·斯特伦 具有软实时约束的序列图的逐步细化。 (英语) Zbl 1320.68040号 J.计算。系统。科学。 81,第7期,1221-1251(2015).MSC公司:68个M12 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Refsdal}等人,《计算杂志》。系统。科学。81,第7号,1221--1251(2015;Zbl 1320.68040) 全文: 内政部
朱利安·贾卡德;尼泊尔、苏里亚 网络安全新威胁调查。 (英语) Zbl 1310.68031号 J.计算。系统。科学。 80,第5期,973-993(2014).MSC公司:68英里11 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{J.Jang-Jaccard}和\textit{S.Nepal},J.Comput。系统。科学。80,第5号,973--993(2014;Zbl 1310.68031) 全文: 内政部
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) 全文: 内政部
克里斯托弗·巴雷特。;亨特,哈里·B·III;马达夫·马拉特。;拉维,S.S。;丹尼尔·罗森克兰茨。;理查德·斯特恩斯(Richard E.Stearns)。 有限离散动力系统可达性问题的复杂性。 (英语) Zbl 1119.68095号 J.计算。系统。科学。 72,第8期,1317-1345(2006).MSC公司:65年第68季度 37B15号机组 2017年第68季度 68问题80 PDF格式BibTeX公司 XML格式引用 \textit{C.L.Barrett}等人,《计算杂志》。系统。科学。72,第8号,1317--1345(2006;Zbl 1119.68095) 全文: 内政部
文森扎·卡奇奥洛;米歇尔·马格里;朱塞佩·曼吉奥尼 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 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) 全文: 内政部
弗拉维奥·科拉迪尼;洛科·德尼古拉;安娜·拉布拉 非确定性正则表达式的模型。 (英语) Zbl 0958.68090号 J.计算。系统。科学。 59,第3期,412-449(1999).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Corradini}等人,《计算杂志》。系统。科学。59,第34112-449号(1999年;兹bl 0958.68090) 全文: 内政部
大卫·麦卡利斯特;帕南加登,普拉卡什;瓦桑特·香博格 公平和信号的不可表达性。 (英语) Zbl 0801.68112号 J.计算。系统。科学。 47,第2期,287-321(1993).MSC公司:第68季度55 2010年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.McAllester}等人,《计算杂志》。系统。科学。47,第2号,287--321(1993;Zbl 0801.68112) 全文: 内政部
克拉珀,A。 分布式事件代数。 (英语) Zbl 0756.68034号 J.计算。系统。科学。 44,第3期,411-424(1992). 审核人:D.Gruska(布拉迪斯拉发) MSC公司:2010年第68季度 68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Klapper},J.计算。系统。科学。44,第3号,411--424(1992;Zbl 0756.68034) 全文: 内政部
曼弗雷德·布罗伊;Lengauer,基督徒 论指称语义学与谓语语义学。 (英语) Zbl 0716.68060号 J.计算。系统。科学。 42,第1期,1-29页(1991年). 审核人:N.Curteanu公司 MSC公司:第68季度55 68号01 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}和\textit{C.Lengauer},J.Compute。系统。科学。42,编号1,1--29(1991;Zbl 0716.68060) 全文: 内政部
德巴克,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。;朱克,J.I。 统一并发语义中的转换系统、度量空间和就绪集。 (英语) Zbl 0652.68028号 J.计算。系统。科学。 36,第2期,158-224(1988). 审核人:J.-J.Ch.梅耶 MSC公司:99年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.W.De Bakker}等人,J.Compute。系统。科学。36,第2号,158--224(1988;Zbl 0652.68028) 全文: 内政部 链接
约泽夫·温科夫斯基;安德烈亚·马吉奥洛·谢蒂尼 过程的代数。 (英语) Zbl 0633.68010号 J.计算。系统。科学。 35, 206-228 (1987). 审核人:A.Maggiolo-Schettini先生 MSC公司:第68页第25页 2005年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski}和\textit{A.Maggiolo-Schettini},J.Comput。系统。科学。35206-228(1987年;兹bl 0633.68010) 全文: 内政部
大卫·佩莱格 并发动态逻辑中的通信。 (英语) Zbl 0632.68032号 J.计算。系统。科学。 35, 23-58 (1987). 审核人:L.布里姆 MSC公司:68问题65 60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Peleg},J.计算。系统。科学。35、23-58(1987年;Zbl 0632.68032) 全文: 内政部
曼弗雷德·布罗伊 分布式系统的规范和自顶向下的设计。 (英语) Zbl 0619.68020号 J.计算。系统。科学。 34, 236-265 (1987).MSC公司:第68页第25页 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy},J.计算。系统。科学。34、236——265(1987年;Zbl 0619.68020) 全文: 内政部
皮耶保罗·德加诺;乌戈州蒙塔纳里 并发历史:观察分布式系统的基础。 (英语) Zbl 0619.68017号 J.计算。系统。科学。 34, 422-461 (1987).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{P.Degano}和\textit{U.Montanari},J.Comput。系统。科学。34422--461(1987年;Zbl 0619.68017) 全文: 内政部
保罗·博姆;哈拉尔德·雷托·福尼奥;安妮格雷特·哈贝尔 图变换的合并:一种同步机制。 (英语) Zbl 0618.68060号 J.计算。系统。科学。 34, 377-408 (1987).MSC公司:65年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{P.Boehm}等人,《计算杂志》。系统。科学。34、377--408(1987年;Zbl 0618.68060) 全文: 内政部
奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 公平终止的完整规则。 (英语) Zbl 0612.68021号 J.计算。系统。科学。 33, 313-332 (1986).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{O.Grumberg}等人,《计算杂志》。系统。科学。33、313--332(1986年;Zbl 0612.68021) 全文: 内政部
罗宾·米尔纳 一类正则行为的完整推理系统。 (英语) Zbl 0562.68065号 J.计算。系统。科学。 28, 439-466 (1984). 审核人:W.夸索维奇 MSC公司:第68季度55 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Milner},J.计算。系统。科学。28439--466(1984年;Zbl 0562.68065) 全文: 内政部 链接
玛莎·斯蒂恩斯特鲁普;迈克尔·阿尔比布(Michael A.Arbib)。;欧内斯特·马内斯。 端口自动机和并发进程代数。 (英语) Zbl 0535.68025号 J.计算。系统。科学。 27,29-50(1983年). 审核人:R.Janicki公司 MSC公司:65年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{M.Steenstrup}等人,《计算杂志》。系统。科学。27、29——50(1983年;Zbl 0535.68025) 全文: 内政部
文卡塔拉曼,K.N。;安安·安原雅拉;弗兰克·霍鲁西克(Frank M.Hawrusik)。 关于项代数可计算性的观点。 (英语) 兹伯利0514.68053 J.计算。系统。科学。 26, 410-471 (1983).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.N.Venkataraman}等人,《计算杂志》。系统。科学。26410-471(1983年;Zbl 0514.68053) 全文: 内政部
J.A.伯格斯特拉。;J.V.塔克。 霍尔逻辑的表达性和完整性。 (英语) Zbl 0549.68021号 J.计算。系统。科学。 25, 267-284 (1982). 审核人:J.-J.Ch.梅耶 MSC公司:68问题65 60年第68季度 03D60年 03C35号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和textit{J.V.Tucker},J.Compute。系统。科学。25267--284(1982;Zbl 0549.68021) 全文: 内政部 链接
理查德·雷德纳(Richard E.Ladner)。 通信顺序过程系统中问题的复杂性。 (英语) Zbl 0448.68012号 J.计算。系统。科学。 179-194年(1980年).MSC公司:65年第68季度 91A80型 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Ladner},J.计算。系统。科学。21179--194(1980;Zbl 0448.68012) 全文: 内政部
沃恩·R·普拉特。 一种近似最优的行为推理方法。 (英语) Zbl 0424.03010号 J.计算。系统。科学。 20, 231-254 (1980).MSC公司:03B45号 60年第68季度 2015年3月1日 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.R.Pratt},J.计算。系统。科学。20、231--254(1980;Zbl 0424.03010) 全文: 内政部
尼西姆·弗朗西兹;C.A.R.霍尔。;丹尼尔·莱曼。;威廉·德·罗弗(Willem P.de Roever)。 不确定性、并发性和通信的语义。 (英语) Zbl 0434.68066号 J.计算。系统。科学。 19, 290-308 (1979).MSC公司:第68季度55 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Francez}等人,J.Compute。系统。科学。19、290--308(1979年;Zbl 0434.68066) 全文: 内政部 链接
米切尔·旺德 最终代数语义和数据类型扩展。 (英语) Zbl 0418.68020号 J.计算。系统。科学。 19, 27-44 (1979).MSC公司:68第05页 60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{M.Wand},J.计算。系统。科学。19,27-44(1979年;兹bl 0418.68020) 全文: 内政部
迈克尔·菲舍尔。;理查德·雷德纳(Richard E.Ladner)。 正则程序的命题动态逻辑。 (英语) 兹比尔0408.03014 J.计算。系统。科学。 18, 194-211 (1979).MSC公司:03B45号 68问题65 68号01 03B60号 68瓦99 2005年第68季度 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Fischer}和\textit{R.E.Ladner},J.Compute。系统。科学。18、194--211(1979;Zbl 0408.03014) 全文: 内政部
德巴克尔,J.W。;米尔滕斯,L.G.L.T。 归纳断言方法的完备性。 (英语) Zbl 0353.68040号 J.计算。系统。科学。 11, 323-357 (1975).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}和\textit{L.G.L.T.Meertens},J.Compute。系统。科学。11、323--357(1975年;Zbl 0353.68040) 全文: 内政部
南饶省科萨拉州 结构化程序的分析。 (英语) Zbl 0293.68014号 J.计算。系统。科学。 9, 232-255 (1974).MSC公司:68号01 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.R.Kosaraju},J.计算。系统。科学。9、232--255(1974年;Zbl 0293.68014) 全文: 内政部
Takumi Kasai 流程图到while程序的可翻译性。 (英语) 兹比尔0291.68005 J.计算。系统。科学。 9, 177-195 (1974).MSC公司:68号01 68瓦99 65年第68季度 94C10美元 PDF格式BibTeX公司 XML格式引用 \textit{T.Kasai},J.计算。系统。科学。9、177--195(1974年;Zbl 0291.68005) 全文: 内政部