何继峰;C.A.R.霍尔。 编程语言的分类语义。 (英语) Zbl 1509.68035号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 402-417 (1990).MSC公司:68甲15 18立方厘米50 68号30 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{H.Jifeng}和\textit{C.A.R.Hoare},莱克特。注释计算。科学。442402--417(1990年;Zbl 1509.68035) 全文: 内政部
帕南加登,普拉卡什;詹姆斯·罗素。 无界不确定性的分类理论语义。 (英语) Zbl 1509.68052号 Main,M.(ed.)等人,《编程语义的数学基础》。第五届国际会议,1989年3月29日至4月1日,美国路易斯安那州新奥尔良。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。442, 319-332 (1990).MSC公司:68号30 18立方厘米50 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden}和\textit{J.R.Russell},莱克特。注释计算。科学。442319-332(1990年;Zbl 1509.68052) 全文: 内政部
德罗布塞维奇,G.A。;K.A.祖博维奇。 功能程序的自动验证。 (英语。俄文原件) Zbl 0800.68565号 控制论 26,第4期,491-502(1990);译自Kibernetika 1990年,第4期,30-39页(1990年)。MSC公司:65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{G.A.Drobushevich}和\textit{K.A.Zubovich},控制论26,第4期,491--502(1990;Zbl 0800.68565);译自Kibernetika 1990,No.4,30-39(1990) 全文: 内政部
安东尼·迪勒 Z.形式方法简介。 (英语) Zbl 0729.68044号 奇切斯特等:John Wiley&Sons。二十一、 第309页(1990年)。 审核人:H.基洛夫(莫里斯敦) MSC公司:60年第68季度 65年第68季度 68号01 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{A.Diller},Z.形式方法简介。奇切斯特等:约翰·威利父子(1990;Zbl 0729.68044)
布罗伊,M。(编辑);C.B.琼斯。(编辑) 编程概念和方法。IFIP工作组2.2/2.3工作会议记录,以色列加利利海,1990年4月2日至5日。 (英语) Zbl 0744.68016号 阿姆斯特丹等地:荷兰北部。八、 第581页(1990年)。 审核人:N.Curteanu(伊阿什) MSC公司:68-06 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}(编辑)和\textit{C.B.Jones}(编),编程概念和方法。IFIP工作组2.2/2.3工作会议记录,以色列加利利海,1990年4月2日至5日。阿姆斯特丹等:北荷兰(1990;Zbl 0744.68016)
约根·斯坦斯特鲁普(编辑) 超大规模集成电路设计的形式化方法。 (英语) Zbl 0743.68033号 阿姆斯特丹等地:荷兰北部。第329页(1990年)。 审核人:P.Molitor(萨尔布吕肯) MSC公司:68-06 94C99号 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Staunstrup}(编辑),超大规模集成电路设计的形式化方法。阿姆斯特丹等地:北荷兰(1990年;兹bl 0743.6803)
范·列文(Jan van Leeuwen)(编辑) 形式化模型和语义。理论计算机科学手册。第二卷。 (英语) Zbl 0714.68001号 阿姆斯特丹等:爱思唯尔。十四、 1273 p.英国国防部。325.00 (1990). 审核人:S.布鲁姆 MSC公司:68-00 第68季度55 68问题65 65年第68季度 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.van Leeuwen}(编辑),形式模型和语义。理论计算机科学手册。第二卷阿姆斯特丹等:Elsevier(1990;Zbl 0714.68001)
克利夫·琼斯。 使用VDM进行系统软件开发。第2版。 (英语) Zbl 0743.68048号 普伦蒂斯·霍尔计算机科学国际系列。纽约等地:普伦蒂斯·霍尔。十四、 第333页(1990年)。 审核人:E.E.Doberkat(埃森) MSC公司:68N99型 60年第68季度 68-01年 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},使用VDM进行系统软件开发。第二版,纽约等:普伦蒂斯·霍尔(1990;Zbl 0743.68048)
比约纳,迪内斯(编辑);C.A.R.霍尔。(编辑);汉斯·朗马克(编辑) VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。 (英语) Zbl 0746.68006号 计算机科学课堂讲稿. 428. 柏林等:Springer-Verlag。十七、 第580页(1990年)。 审核人:H.基洛夫(莫里斯敦) MSC公司:68-06 60年第68季度 第68季度55 68N99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.Björner}(编辑)等人,VDM’90。软件开发中的VDM和Z形式化方法。第三届VDM欧洲国际研讨会,基尔,FRG,1990年4月17日至21日。诉讼程序。柏林等:Springer-Verlag(1990;Zbl 0746.68006)
沃尔夫冈·托马斯 词上的无限树和自动机可定义关系。 (英语) Zbl 0731.03007号 计算机科学的理论方面。第7年。交响乐团。,STACS’90,鲁昂/Fr.1990,Lect。注释计算。科学。415, 263-277 (1990).MSC公司:03年2月25日 68兰特 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式
德布鲁因,N.G。 为综合语义使用正当化系统。 (英语) Zbl 0722.68077号 科罗格-88,Proc。国际会议,塔林/苏联1988年,法律。不是。计算。科学。417,9-24(1990)中所述。 审核人:E.Melis(萨尔布吕肯) MSC公司:60年第68季度 03B80号 03B40型 PDF格式BibTeX公司 XML格式
里扎德·贾尼基;托马斯·穆尔德纳 同步保护将顺序规范转换为并发规范。 (英语) Zbl 0717.68065号 西奥。计算。科学。 77,No.1-2,97-129(1990).MSC公司:60年第68季度 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Janicki}和\textit{T.Müldner},Theor。计算。科学。77,编号1-2,97-129(1990年;兹bl 0717.68065) 全文: 内政部
亚克尼斯,亚历山大;弗拉基米尔·亚克尼斯 Gurevich-Harrington限制记忆确定性定理的推广:获胜球员的标准和一类明确的获胜策略。 (英语) Zbl 0716.03036号 Ann.纯粹应用。逻辑 48,第3期,277-297(1990). 审核人:李翔 MSC公司:05年3月 91A05型 2010年第68季度 03年2月25日 91A80型 03E60年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yakhnis}和\textit{V.Yakhnis},Ann.纯粹应用。逻辑48,No.3,277--297(1990;Zbl 0716.03036) 全文: 内政部
安妮·卡尔德瓦伊;杰勒德·茨瓦恩 常规语言接受者的收缩设计。 (英语) Zbl 0715.68048号 科学。计算。程序。 15,编号2-3,171-183(1990).MSC公司:65年第68季度 2005年第68季度 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Kaldewaij}和\textit{G.Zwaan},科学。计算。程序。15,编号2--3,171-183(1990;Zbl 0715.68048) 全文: 内政部
高德尔,M.C。;Th.莫伊瑙。 一种软件可重用性理论。 (英语) Zbl 0712.68066号 图表 23, 67-84 (1990).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.C.Gaudel}和\textit{Th.Moineau},图表23,67-84(1990;Zbl 0712.68066) 全文: 欧洲DML
乔纳森·奥斯特罗夫。;沃纳姆,W.默里 实时离散事件控制框架。 (英语) Zbl 0709.68029号 IEEE传输。自动。控制 35,No.4,386-397(1990).MSC公司:65年第68季度 2010年第68季度 93甲15 68N17号 68甲15 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.S.Ostroff}和\textit{W.M.Wonham},IEEE Trans。自动。控制35,编号4,386--397(1990;Zbl 0709.68029) 全文: 内政部
道格拉斯·史密斯。;Michael R.劳里。 算法理论和设计策略。 (英语) Zbl 0705.68077号 科学。计算。程序。 14,编号2-3,305-321(1990).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Smith}和\textit{M.R.Lowry},科学。计算。程序。14,编号2--3,305-321(1990;Zbl 0705.68077) 全文: 内政部
米切尔·旺德 词法寻址算法的简短证明。 (英语) Zbl 0704.68078号 Inf.流程。莱特。 35,No.1,1-5(1990).MSC公司:第68季度55 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wand},Inf.流程。莱特。35,编号1,1-5(1990;兹bl 0704.68078) 全文: 内政部
钱小雷 数据库事务公理系统。 (英语) Zbl 0704.68035号 Inf.流程。莱特。 36,第4期,183-189(1990).MSC公司:第68页,共15页 第68季度55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{X.Qian},Inf.过程。莱特。36,第4号,183--189(1990;Zbl 0704.68035) 全文: 内政部
何旭东;约翰·A·N·李。 在并发系统的规范和验证中,将谓词转换网与一阶时序逻辑集成。 (英语) Zbl 0703.68078号 形式方面计算。 2,第3期,226-246(1990).MSC公司:68问题85 2010年第68季度 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{X.He}和\textit{J.A.N.Lee},正式Asp。计算。2,编号3,226--246(1990;Zbl 0703.68078) 全文: 内政部
Jaan Penjam 形式语言的计算和属性模型。 (英语) Zbl 0698.68067号 西奥。计算。科学。 71,No.2,241-264(1990).MSC公司:65年第68季度 60年第68季度 第68季度55 68N99型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.彭杰姆},Theor。计算。科学。71,第2号,241--264(1990;Zbl 0698.68067) 全文: 内政部
米哈伊尔·布卢扬科夫。 混合计算和编译:解决旧问题的新方法。 (英语) Zbl 0698.68024号 西奥。计算。科学。 71,No.2,209-226(1990).MSC公司:68N99型 第68季度55 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.A.Bulyonkov},Theor。计算。科学。71,第2号,209--226(1990;Zbl 0698.68024) 全文: 内政部
J.N.奥利维拉。 面向模型的软件规范的具体化演算。 (英语) Zbl 0697.68029号 形式方面计算。 2,No.1,1-23(1990).MSC公司:68N99型 60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.N.Oliveira},正式Asp。计算。2,编号1,1--23(1990;Zbl 0697.68029) 全文: 内政部
克里斯托弗·莱温顿。 面向VDM中的构造性程序派生。 (英语) Zbl 0743.68092号 软件技术和理论计算机科学基础。第十届会议,班加罗尔/印度,1990年,法律。注释计算。科学。472, 115-132 (1990). 审核人:宋方敏(南京) MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给Lewington,Lect。注释计算。科学。无,115-132(1990年;Zbl 0743.68092)
J.V.塔克。;韦纳,S.S。;朱克,J.I。 抽象数据类型上的可证明计算函数。 (英语) Zbl 0765.68149号 自动机,语言与编程,Proc。第17国际学院,沃里克/GB 1990,法律。注释计算。科学。443, 660-673 (1990).MSC公司:68问题65 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}等人,Lect。注释计算。科学。443660-673(1990年;Zbl 0765.68149)
科斯塔斯·库库贝蒂斯;米哈利斯·亚纳卡基斯 马尔可夫决策过程和常规事件。 (英语) Zbl 0765.68152号 自动化、语言和编程、Proc。第17国际学院,沃里克/GB 1990,法律。注释计算。科学。443, 336-349 (1990).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Courcoubetis}和\textit{M.Yannakakis},莱克特。注释计算。科学。44336--349(1990年;Zbl 0765.68152)
拉杰夫·阿鲁尔;大卫·迪尔 用于实时系统建模的自动机。 (英语) Zbl 0765.68150号 自动化、语言和编程、Proc。第17国际学院,沃里克/GB 1990,法律。注释计算。科学。443, 322-335 (1990).MSC公司:65年第68季度 60年第68季度 第68季度55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Dill},Lect。注释计算。科学。44322-335(1990年;兹bl 0765.68150)
Malyarov,A.N。;A.N.Isachenko。 分布式信息资源阻塞的逻辑规范。 (俄语) Zbl 0790.68031号 维斯特。白俄罗斯。戈斯。进出口大学。V.I.Lenina,塞尔维亚。我 1990年,第3期,38-41(1990).MSC公司:第68页,共15页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.N.Malyarov}和\textit{A.N.Isachenko},Vestn。白俄罗斯。戈斯。进出口大学。V.I.Lenina,爵士。I 1990,编号3,38-41(1990;Zbl 0790.68031)
E.M.克拉克。;I.A.布朗。;库尔山,R.P。 一种统一的方法,用于显示各种类型的\(\omega \)-自动机之间的语言包含和等价性。 (英语) Zbl 0759.68063号 CAAP’90,程序。第15届Colloq.,哥本哈根/丹麦,1990年,法律。注释计算。科学。431, 103-116 (1990).MSC公司:65年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}等人,Lect。注释计算。科学。431103--116(1990年;Zbl 0759.68063)