弗莱明·尼尔森 LOMAPS公司。程序和系统分析中的逻辑和操作方法。 (英语) Zbl 1030.68561号 牛市。EATCS公司 58, 77-88 (1996).MSC公司:第68季度55 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.尼尔森},公牛。EATCS 58、77--88(1996年;Zbl 1030.68561)
约阿希姆·帕罗 无同伦的并发。 (英语) Zbl 0939.68633号 牛市。EATCS公司 55, 140-143 (1995).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.帕罗},公牛。EATCS 55、140--143(1995年;Zbl 0939.68633)
哈特穆特·埃里格;加布里埃尔·坦泽尔 构图II:研究目标和主要结果的调查。 (英语) Zbl 1030.68569号 牛市。EATCS公司 57, 85-95 (1995).MSC公司:68兰特 第68季度第42季度 65年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{G.Taentzer},公牛。EATCS 57,85-95(1995年;兹bl 1030.68569)
阿马尔·布瓦利;格内西、斯特凡尼亚;萨尔瓦多拉罗萨 杰克:只是另一个并发工具包。集成项目。 (英语) Zbl 0938.68717号 牛市。EATCS公司 54, 207-224 (1994).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouali}等人,公牛。EATCS 54、207--224(1994;Zbl 0938.68717)
哈特穆特·埃里格;朱莉娅·帕德伯格 链接代数高级网和动态抽象数据类型。 (英语) Zbl 0825.68450号 牛市。EATCS公司 54, 132-144 (1994).MSC公司:60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{J.Padberg},公牛。EATCS 54、132--144(1994;Zbl 0825.68450)
塞勒斯·F·努拉尼。 类型、归纳和不完整性。 (英语) Zbl 0810.68075号 牛市。EATCS公司 53, 226-247 (1994).MSC公司:2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Nourani},公牛。EATCS 53、226--247(1994;Zbl 0810.68075)
可口、蒂埃里;本特·诺德斯特伦;Jan M.史密斯。;冯·西多,比约恩 类型理论和编程。 (英语) Zbl 0791.68017号 牛市。EATCS公司 52203-228(1994年).MSC公司:68N17号 03B15号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人,公牛。EATCS 52、203--228(1994;Zbl 0791.68017)
皮埃尔·沃尔珀 ESPRIT基础研究行动REACT(6021):建立正确的反应系统。 (英语) Zbl 1023.68626号 牛市。EATCS公司 50, 138-153 (1993).MSC公司:60年第68季度 68问题65 68-02 68问题85 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{P.Wolper},公牛。EATCS 50,138--153(1993;Zbl 1023.68626)
阿米尔卡·瑟纳达斯 信息系统:正确性和可重用性,IS-CORE。ESPRIT基础研究工作组6071(1992-95)。 (英语) Zbl 1023.68537号 牛市。EATCS公司 50, 112-127 (1993).MSC公司:68号30 60年第68季度 68问题65 68单位35 第68页,共15页 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Sernadas},公牛。EATCS 50、112--127(1993;Zbl 1023.68537)
保罗·A·S·维洛索。 关于保守扩展的另一个警告:一个具有计算风格的简单案例。 (英语) Zbl 0751.03013号 牛市。EATCS公司 46, 188-192 (1992).MSC公司:03C07号机组 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso},公牛。EATCS 46、188--192(1992;Zbl 0751.03013)
保罗·A·S·维洛索。;Sheila R.M.维洛索。 关于保守派延伸的一些评论:苏格拉底式对话。 (英语) Zbl 0744.68103号 牛市。EATCS公司 43, 189-198 (1991).MSC公司:68问题65 60年第68季度 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{P.A.S.Veloso}和\textit{S.R.M.Veloso},公牛。EATCS 43,189--198(1991;Zbl 0744.68103)
保拉·因弗拉迪;科拉多·普里亚米 通信系统分析工具的评估。 (英语) Zbl 0757.68054号 牛市。EATCS公司 45, 158-185 (1991).MSC公司:2010年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Inverardi}和\textit{C.Priami},公牛。EATCS 45,158--185(1991;Zbl 0757.68054)
罗宾·惠蒂 在最弱的前提条件下进行的练习。 (英语) Zbl 0757.68078号 牛市。EATCS公司 42, 195-197 (1990).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Whitty},公牛。EATCS 42,195--197(1990;Zbl 0757.68078)
唐纳德·桑内拉;安德烈·塔莱基 程序开发的代数规范和形式化方法:真正的问题是什么! (英语) Zbl 0744.68102号 牛市。EATCS公司 41, 134-137 (1990).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{D.Sannella}和\textit{A.Tarlecki},公牛。EATCS 41、134--137(1990年;Zbl 0744.68102)
罗兰·巴克豪斯 让形式为我们服务。 (英语) Zbl 0681.68011号 牛市。EATCS公司 38, 219-249 (1989).MSC公司:68号01 60年第68季度 68第05页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Backhouse},公牛。EATCS 38,219--249(1989;Zbl 0681.68011)
普里塞·卢茨 公平。 (英语) 兹比尔0669.68010 牛市。EATCS公司 35, 171-180 (1988). 审核人:J.R.公正 MSC公司:68N99型 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Priese},公牛。EATCS 35、171--180(1988;Zbl 0669.68010)
迈克尔·梅因(Michael G.Main)。 powerdomain底漆。 (英语) Zbl 0667.68039号 牛市。EATCS公司 33, 115-147 (1987). 审核人:G.乔巴努 MSC公司:68问题65 60年第68季度 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Main},公牛。EATCS 33、115--147(1987;Zbl 0667.68039)
大卫·本森。 并发和交织同样重要。 (英语) Zbl 0667.68021号 牛市。EATCS公司 33, 54-55 (1987). 审核人:G.乔巴努 MSC公司:60年第68季度 68问题65 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson},公牛。EATCS 33,54-55(1987;Zbl 0667.68021)
亚历山大·拉比诺维奇 Pomset语义与数据流语义一致。 (英语) Zbl 0663.68015号 牛市。EATCS公司 32, 107-117 (1987). 审核人:J.-J.Ch.梅耶 MSC公司:60年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich},公牛。EATCS 32107-117(1987年;Zbl 0663.68015)